Guido van Rossum added the comment: This all sounds fine to fix without waiting for anything else -- can you attach a patch here? ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue18794> _______________________________________