A few minor documentation edits