Some final LaTeX cleanup