minor tweaks to docs