change highlight to Pygments