diff --git a/HISTORY.md b/HISTORY.md
index 9cb4f3b..61a8fc5 100644
--- a/HISTORY.md
+++ b/HISTORY.md
@@ -3,6 +3,11 @@
 https://github.com/josdejong/jsoneditor
 
 
+## not yet released, version 5.1.1
+
+- Fixed #255: Removed wrong console warning about the option `search`.
+
+
 ## 2016-01-14, version 5.1.0
 
 - Implemented support for JSON schema validation, powered by `ajv`.
diff --git a/src/js/JSONEditor.js b/src/js/JSONEditor.js
index 21f08bd..a09c779 100644
--- a/src/js/JSONEditor.js
+++ b/src/js/JSONEditor.js
@@ -77,7 +77,7 @@ function JSONEditor (container, options, json) {
         'ace', 'theme',
         'ajv', 'schema',
         'onChange', 'onEditable', 'onError', 'onModeChange',
-        'escapeUnicode', 'history', 'mode', 'modes', 'name', 'indentation'
+        'escapeUnicode', 'history', 'search', 'mode', 'modes', 'name', 'indentation'
       ];
 
       Object.keys(options).forEach(function (option) {