fixing a syntax bug