typos corrected.