Minor fix in syntax file