small typo fixes in comments and docs