Tiny config_defaults.pl fix