Chris Jerdonek added the comment: Thanks a lot for taking care of this issue, Michael. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue17052> _______________________________________