slight typo fixes in comments