minor tweaks to documentation