Trivial LaTeX fix