modify highlighter:pygments