More tweaks to module docs.