fix error in lecture 7