typo discovered during the lecture