Actually you are right ; this line is not needed since this parameter should default to `pygments`. I think we can simply remove it.