Re: A bug in IntMap