Paul Eggert wrote:
> This is a typo regardless of whether my recently-proposed patch is accepted, and 
> I fixed it with the attached.

No further comment after the fix, and as the fix means that the proposed patch 
seems to be the right thing to do I installed it, along with a followup cleanup 
patch. Both patches are attached.