===> Cleaning for menhir-20181113