More tweaks to docs.