minor typo in comments