fix bug for map.erase