Logged In: YES 
user_id=4771

The proposed fix is not good enough.  If another built-in C type similar to PyModuleObject is defined (say by a C extension module), then it would become possible to subclass both this new type and ModuleType.  This might lead to unwanted behavior if e.g. one parent class allows rebinding __dict__ and the other not (and crashes if __dict__ is rebound).

This might point to the need for cleaning up typeobject.c's darker corners...