More tweaks to documentation.