===> Cleaning for minischeme-0.85