Update result.tex