diff --git a/tools/docker/deploy_images.sh b/tools/docker/deploy_images.sh
index a9ece6b03..cf66bfcb3 100755
--- a/tools/docker/deploy_images.sh
+++ b/tools/docker/deploy_images.sh
@@ -2,7 +2,7 @@
 set -euxo pipefail
 
 # This script takes docker images in the local docker cache and pushes them to
-# a registry.
+# Docker Hub.
 
 # Usage: 
 #       ./deploy_images.sh <TAG> all