Tidy up appendix.tex