Tweaks to the docs