Re: Bug in Data.Map