Correct definition of modules.