Fixed some typos found in during the workshop.