[CI skip] minor documentation edits