===> Cleaning for tex-eplain-3.11