Fix typo, reformat top comment slightly.