correct the typos I've introduced.