A few typos corrected

No technical input, but some typos fixed.