Fix a typo in comments.