===> Cleaning for tex-wasy-2.5