minor changes to config_default.php