Martijn Pieters added the comment: Yeah, I should have thought of that in the first place. Done, and thanks, Ned! ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue21789> _______________________________________