some typos corrected