corrected a large number of typos