Fix bug in coloring of <example> tags