Updates in the LaTeX docs