===> Cleaning for tex-labels-0.13