Inserted closing bracked in A.1.3, and changed all hardcoded references to appendix A.