Minor edits, cleaned up appendix.