/* We already reported the error via a callback, so don't try to report
it again by returning false. That leads to spurious errors. */
/* We already reported the error via a callback, so don't try to report
it again by returning false. That leads to spurious errors. */