diff --git a/set_version b/set_version
index 240002a14d..833a182440 100755
--- a/set_version
+++ b/set_version
@@ -43,8 +43,7 @@ Usage: $0 FLAGS...
   --file FILE:                                     Modify another file than ${FILE}, useful if run
                                                    outside of the SDK chroot. If /dev/stdout or
                                                    /dev/stderr is used, only new values are printed.
-  --binhost                                        Use a custom binhost (defaults to '${DEFAULT_BASE_URL}'),
-                                                   e.g., '${SETTING_BINPKG_SERVER_DEV}'.
+  --binhost                                        Use a custom binhost (defaults to '${DEFAULT_BASE_URL}').
                                                    This will update BOARD and SDK URLs accordingly.
 "
   exit 1
diff --git a/settings.env b/settings.env
index a0b0cd537d..3961d5d4ce 100644
--- a/settings.env
+++ b/settings.env
@@ -4,5 +4,4 @@
 SETTING_BINPKG_SERVER_PROD="https://mirror.release.flatcar-linux.net"
 
 # development servers / bin caches.
-SETTING_BINPKG_SERVER_DEV="https://bucket.release.flatcar-linux.net/flatcar-jenkins"
 SETTING_BINPKG_SERVER_DEV_CONTAINERISED="https://bincache.flatcar-linux.net"