fix bug in syntax