===> Cleaning for tex-doublestroke-1.111nb1