Minor edits to 'Appendix A'