Docs: minor fix