use proper highlighting for examples