Minor fix in the parser