Pygments... again