fix some typos I introduced