Correcing some typos