Fix probleme with pygments.