Docs: tweaks