Re: reporting a a very old bug (now sending to ML)