Docs: minor fixes