diff --git a/src/shell/shell_batch.cpp b/src/shell/shell_batch.cpp
index f5cf388d..4642a2b7 100644
--- a/src/shell/shell_batch.cpp
+++ b/src/shell/shell_batch.cpp
@@ -125,7 +125,8 @@ again:
 	} while (c!='\n' && n);
 	*cmd_write++=0;
 	if (cmd[0]==':') {
-		if (strcasecmp(cmd+1,where)==0) return true;
+		char *nospace = trim(cmd+1);   
+		if (strcasecmp(nospace,where)==0) return true;
 	}
 	if (!n) {
 		delete this;