Two typos corrected