Alexander Schrijver added the comment: I appeared to have missed the reference to that issue when I read this issue the first time. Re-opening that issue makes sense to me. ---------- _______________________________________ Python tracker <report@bugs.python.org> <http://bugs.python.org/issue22232> _______________________________________