small tweaks to modules and the presentation