Minor fix to the parser