Update documentation.tex