cosmetic improvements to show_module