Update appendix3.html