More tweaks to the modules docs.