Fixing a couple of typos