lessons: Fix missing `:`