More tweaks to the modules documentation.