===> Cleaning for tex-comment-3.8