Typographical and punctuation errors have been silently corrected.