Fix some typos in old lectures