Fix error in get_default_config()