Found a couple of typos