diff --git a/engine/installation/linux/debian.md b/engine/installation/linux/debian.md
index 36b24c4e1d..22b2557335 100644
--- a/engine/installation/linux/debian.md
+++ b/engine/installation/linux/debian.md
@@ -71,7 +71,9 @@ from the new repository:
 
  5. Add the new `GPG` key.
 
-         $ apt-key adv --keyserver hkp://p80.pool.sks-keyservers.net:80 --recv-keys 58118E89F3A912897C070ADBF76221572C52609D
+         $ sudo apt-key adv \
+               --keyserver hkp://ha.pool.sks-keyservers.net:80 \
+               --recv-keys 58118E89F3A912897C070ADBF76221572C52609D
 
  6. Open the `/etc/apt/sources.list.d/docker.list` file in your favorite editor.