diff --git a/global_config.ini b/global_config.ini
index 2aa8d56..143ee58 100644
--- a/global_config.ini
+++ b/global_config.ini
@@ -147,8 +147,8 @@
 dns_zone: cros.corp.google.com
 source_tree: /usr/local/google/chromeos
 image_storage_server: gs://chromeos-image-archive/
-# chromeos-devserver{2,3,4,5}.cros
-dev_server: http://172.22.50.2:8082,http://172.17.40.27:8082,http://172.17.40.28:8082,http://172.17.40.17:8082
+# chromeos-devserver{2,3,4}.cros
+dev_server: http://172.22.50.2:8082,http://172.17.40.27:8082,http://172.17.40.28:8082
 # chromeos-crash1.cros
 crash_server: http://172.17.40.24:8082
 sharding_factor: 1