Docs: more tweaks