Two typos are corrected