change back to highlighter: pygments