corrects some typos