Update AppendixA.tex