various typos corrected