fix a stupid SyntaxError