Fix a syntax error