Fixing a list-servers bug