minor documentation edits