Kristján Valur Jónsson added the comment: Yes, thanks for pointing that out, Antoine, I have made the change locally. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue17936> _______________________________________