Update appendix.tex