Some typos corrected, and clearer