Fix LaTeX errors that broke the manual build.