Fix multiply-defined labels issue in LaTeX.