diff --git a/script/deploy.sh b/script/deploy.sh
index 9ab92eb..d710c10 100755
--- a/script/deploy.sh
+++ b/script/deploy.sh
@@ -144,7 +144,7 @@ setup_ssh() {
         ssh-keygen -R "${LIVE_TARGET_IP}" >> "${STDOUT}" 2>> "${STDERR}"
       fi
 
-      while true do;
+      while true; do
         if ! ping -c 2 "${LIVE_TARGET_IP}" >> "${STDOUT}" 2>> "${STDERR}"; then
           echo -e "\n ❌ The IP address you specified cannot be reached."
           echo -e "\n Here are the current settings :