Fixing a couple of small typos