Another Python 3 fix