removed dead; xref in intro, corrected punctuation in appendix