Fixing Lesson 13 typos