Typo fix in a comment.  (Involves reflowing the rest of the comment.)