fix lec7a a typo