Do not use \." for comments, always use .\". Discussed with uwe@.