Make minor tweaks to documentation