Fix a simple syntax error