Just van Rossum wrote: > Hm, even better: I'll file a bug report and assign it to him... Done: http://www.python.org/sf/610730 Just