More tweaks to the docs