Fixing a typo in comments