cleanup (we don't have to duplicate elements of module_registry)