Updated to latest compilation of the LaTeX doc