fix a few rather important typos