Fix a little syntax error