fixing a couple of small typos