Fix another Python 3 problem