DOCS: minor