Matt Giuca <matt.giuca at gmail.com> added the comment: Thanks for pointing that out, Antoine. I just commented on that bug. _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue3300> _______________________________________