Correct default for default_server.