A bunch of typo fixes in documentation