Fixing the module definition