More tweaks to documentation