Thanks for the suggestion. I'm the co-founder of Educative where this course is hosted. We'll fix it.