Fix a LaTeX formatting bug.