More documentation edits