Fix some LaTeX