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]