fix a typo in comments