I agree. But I think the DFlash2 case is just that 1/1000 invalid syntax failure case from sampling rather than a bug.