===> Cleaning for tex-autonum-0.3.11