===> Cleaning for simp-3.2.0