Changed Pygments option.