Ugly typo in a comment