fix a number of typos