Index: usertools/src/usertools/UserToolsPlugin.java
===================================================================
--- usertools/src/usertools/UserToolsPlugin.java	(revision 13045)
+++ usertools/src/usertools/UserToolsPlugin.java	(working copy)
@@ -110,7 +110,7 @@
                 String name =  getSelectedUser();
                 if (!name.equals("0")){
                     SearchAction.SearchMode mode = SearchAction.SearchMode.replace;
-                    SearchAction.search(name, mode, false);
+                    SearchAction.search(name, mode, false, false);
                 }
             }
         }));