Fix a careless syntax error.