More tweaks to the docs.