Paul Eggert:
> Thanks for reporting that. I installed the attached patch.

 Thank you.

 Kind regards

 Helmut Waitzmann