correct a couple of typos