fix a couple of typos