Fix some typos in lecture 10