Typo fixes

Fixes a few typos spotted in the docs.