changes some typos: