Minor documentation edits