Update final.tex