A bug in IntMap