Fix typo in comments. #2