Paul Eggert wrote:
> Thanks for checking; I installed that combination of patches and am
> marking this as done.

Sorry, I have discovered a bug in your improvement, and fix it.