correct a few typos