fixing some typos I noticed