small typo in comments