Update finalversion.tex