Documentation tweaks

Some minor fixes and typographical changes to the documentation.