Tweaked the table of contents, added a proper appendix title.