===> Cleaning for tex-showlabels-1.9.2