small changes and typos in Appendix B