===> Cleaning for tex-ifnextok-0.3nb1