Fix bug in syntax