Fix bug: pygments failure