changed a few things in latex-docs