propose the correct module name