Update APPENDIX_A.md