Minor edits to appendix.