Minor format changes in the comments