HashMap: shrink when removing