make there be two spaces after `.' in comments