this could also mean that the list of servers *became* empty, right?