Fixed lecture notes typo