Minor tweaks to documentation