minor tweaks to the documentation