small tweaks to /docs