fix highlight in example