Fix some typos in lecture 06