Fixing docs typos

Bumping into one by chance made me look for others...