[lint] A bit of linting of the configuration.