===> Cleaning for tex-xcomment-1.3