Fix some typos in lecture 4