oops, fix some typos