fixed a small bug when there are no servers declared