minor typo fixes in comments