Docs: minor corrections