Remove some superfluous words, fix some typos