Fix some mistakes in Lesson 4