> Thanks.  I've proofread all these places, and installed your patch.  I
> also fixed a few typos that your analysis uncovered.
>
> With that, I'm closing this bug.  Thanks a lot for your work on this
> tricky issue.

That's great.  You're welcome, I'm happy to be of any help.

Best regards,
Mauro.