Style: typo in comments