===> Cleaning for tex-verbdef-0.2