slight cleanup; some typos; introductory note