Fix bug in formatting of comments