Docs: small tweaks