Fix some anachronisms in the configuration.