fix a python syntax error