minor touch ups in the appendix