Correction to automatic LaTeX