===> Cleaning for robin-map-1.3.0