Cosmetic comment, formatting, and typo fixes