Fix lots of errors in my Appendix found by Mattias.