minor tweaks to the docs