Tweaks to the documentation