===> Cleaning for tex-labels-doc-0.13