===> Cleaning for simp-3.8.0