Drew Adams <drew.adams@oracle.com> writes:

> Thanks for working on this, Mauro.
> I haven't checked the fix, but I'm sure it's good.

No need to thank me, it's my pleasure.