fixed a bug in syntax