Paul Eggert <eggert@cs.ucla.edu> writes:

> Thanks for the bug report. I installed the attached patches; please give 
> them a try, as I don't have easy access to that platform.

Both patches do what they're supposed to, thanks!