fix a syntax bug