fixed some things in appendix c