Fix apparent bad merge.

(Note that the include block appears earlier in the file, and the explanation of setting pygments to true disappeared at some point...)