===> Cleaning for tex-marginfix-1.2