diff --git a/lib/ace/editor.js b/lib/ace/editor.js
index d992bee1..eeb0589c 100644
--- a/lib/ace/editor.js
+++ b/lib/ace/editor.js
@@ -1124,6 +1124,9 @@ var Editor =function(renderer, session) {
             this.$search.set(options);
 
         var range = this.$search.find(this.session);
+        if (!range)
+            return;
+
         this.$tryReplace(range, replacement);
         if (range !== null)
             this.selection.setSelectionRange(range);