more tweaks to the docs