Some stylistic fixes to the LaTeX