===> Cleaning for robin-map-0.6.3