===> Cleaning for tla-1.3.5nb1