Fix cosmetic typo in a comment.