Fixed two typos in Appendix A