Fix a syntax bug