Fix another Python 3 bug