Update document.tex