typos in Lecture 12 notes