fixed a minor syntax bug