diff --git a/src/js/devtool-log.js b/src/js/devtool-log.js
index c2398678a..6f2bd1918 100644
--- a/src/js/devtool-log.js
+++ b/src/js/devtool-log.js
@@ -309,8 +309,8 @@ var onFilterChanged = function() {
 
     // Plain filtering
     var filterParts = filterRaw
-                        .replace(/^\s*-(\s+|$)/, '-\xA0')
-                        .replace(/^\s*\\+(\s+|$)/, '+\xA0')
+                        .replace(/^\s*-(\s+|$)/, '-\xA0 ')
+                        .replace(/^\s*\\+(\s+|$)/, '+\xA0 ')
                         .split(/[ \f\n\r\t\v​]+/);
     var n = filterParts.length;
     for ( var i = 0; i < n; i++ ) {