Fixing bug introduced with the module rename