Minor updates

Nothing major, just a few very small updates, mostly relating to
things like spelling.