Charles-François Natali added the comment: I agree this should be fixed. Robert, want to submit a patch? ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue19444> _______________________________________