diff --git a/tools/arkmanager b/tools/arkmanager
index 7ff8646..d58e109 100755
--- a/tools/arkmanager
+++ b/tools/arkmanager
@@ -682,10 +682,10 @@ doStartAll(){
 #
 doStop() {
   if isTheServerRunning; then
-    if [ " $* " =~ " --warn " ]; then
+    if [[ " $* " =~ " --warn " ]]; then
       doWarn "$1"
     fi
-    if [ " $* " =~ " --saveworld " ]; then
+    if [[ " $* " =~ " --saveworld " ]]; then
       doSaveWorld
     fi
     tput sc