Formatting of comments

It looked dumb.