Sanitation

Whitespace fixes etc

manage_ssh.sh

@@ -810,7 +810,7 @@ do
             log "child process ${PID} exited [OK]"
         fi
     done
-    # break loop if we no child PIDs left
+    # break loop if we have no child PIDs left
     (($# > 0)) || break
     sleep 1     # required to avoid race conditions
 done