some typo fixes

Some typo fixes in the documentation.