fix a little syntax error