Resolved another bug in syntax