Correct main module name