Fix syntax error under Python 3.2.