fix a small syntax error