fix example code highlighting