diff --git a/ummisco.gama.ui.navigator/src/ummisco/gama/ui/navigator/contents/WrappedGamaFile.java b/ummisco.gama.ui.navigator/src/ummisco/gama/ui/navigator/contents/WrappedGamaFile.java
index 2bc33797a1..331389187e 100644
--- a/ummisco.gama.ui.navigator/src/ummisco/gama/ui/navigator/contents/WrappedGamaFile.java
+++ b/ummisco.gama.ui.navigator/src/ummisco/gama/ui/navigator/contents/WrappedGamaFile.java
@@ -156,7 +156,8 @@ public Object[] getFileChildren() {
 				if (wf.getNavigatorChildren().length > 0) { l.add(wf); }
 			}
 			if (!info.getTags().isEmpty()) {
-				final Tags wf = new Tags(this, StreamEx.of(info.getTags()).toMap(s -> null), "Tags", true);
+				final Tags wf =
+						new Tags(this, StreamEx.of(info.getTags()).toMap(s -> "Double-click to search"), "Tags", true);
 				if (wf.getNavigatorChildren().length > 0) { l.add(wf); }
 			}
 			return l.toArray();