Fix Pygments syntax highlight