Minor fixes on LaTeX docs