Update appendix-a.html