Index: applications/editors/josm/plugins/usertools/src/usertools/UserToolsPlugin.java
===================================================================
--- applications/editors/josm/plugins/usertools/src/usertools/UserToolsPlugin.java	(revision 12910)
+++ applications/editors/josm/plugins/usertools/src/usertools/UserToolsPlugin.java	(revision 13055)
@@ -111,5 +111,5 @@
                 if (!name.equals("0")){
                     SearchAction.SearchMode mode = SearchAction.SearchMode.replace;
-                    SearchAction.search(name, mode, false);
+                    SearchAction.search(name, mode, false,false);
                 }
             }
