Martin Panter added the comment: Your modifications look sensible David; thanks for handling this. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue22233> _______________________________________