Fix small typo in comments