Small documentation edits