If we do this, then we also have to rename the module.