Re: reporting a a very old bug