I don't see `default_servers` used anywhere; perhaps this was meant to be used in the empty servers case?