Tweaks to documentation