Fixing a couple small typos