Eric wrote:
> Barring a bug (and  no such bug has been reported),  this can only happen
> if the file is  edited by hand, or (under unix) if  the file is corrupted
> after a  system crash  or the  like.
 
This seems to have been what happened -- we have a newbie postmaster
and the (HEAD was forgotten when the list was fetched.
 
Relieved,
 
Karen
[log in to unmask]