A few minor edits to documentation edits