lecture: lecture 12: correct markdown