typos are corrected