more pedantic document edits