Fix a few things in appendix