DOCS: minor update