Improved diagnostics from `ajv doctest`.