Typos in documentation

Some of the human-written documentation has typos, so run a proper spellcheck over it