yet another Py2.5 fix