Doc: minor edits.