Fix a popular typo in comments