Update appendix.html