Correcting some typos