Re: [py-dev] Is this a bug?