doc minor edits