Changes to existing documentation

A few miscellaneous corrections and rewordings.