Fix up doc-building bug in config.