Re: [Python-Dev] undesireable unpickle behavior, proposed fix