fix a syntax error