Fix spurious errors reported by the `config-lint.sh` script.