fix example highlighting