===> Cleaning for detex-2.8