Minor improvements in Appendix A