Fix another Python 3.3 syntax error.