syntax bug correction