Correction:  The error case was not found by OSSFuzz but rather by
the AFL fuzzer running locally.