I agree, but I just adapted it from `$ignoreParseErrors` a few lines above...