At 09:47 AM 10/12/2006, Bill Hoffman wrote: >Yes, and yes, I HAVE FIXED THIS, and reported the Fix to the list >several times. Maybe we should create a FAQ entry. It is of course only fixed in CVS, but it is fixed. -Bill