small changes in run_servers