More tweaks to docs