A fix was applied, and we have not seen new errors since.