small typo fixes in comments