another Python 3 fix