Correct the module definition