fix a typo giving a syntax error