Attempt to fix a LaTeX formatting bug.