fixed deprecated "pygments" setting in the config