===> Cleaning for tex-random-0.2