minor document edits