Documentation fixes and a couple of other minor edits.