Ezio Melotti added the comment: I was thinking about that but in other places they are not used. Adding them is OK though. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue17080> _______________________________________