hw6, fixed typos in lec12