Cosmetic fixes in comments.