a few typos corrected.