lec9 typo fix