Fix syntax error under Python 3.