fixed up errors in the appendix