diff --git a/ivette/src/renderer/ASTinfo.tsx b/ivette/src/renderer/ASTinfo.tsx
index e505f52dbcd6fd8f59b56336268cd43df87798a6..e4754c98f1095de5933150021de8e34d5b20d87c 100644
--- a/ivette/src/renderer/ASTinfo.tsx
+++ b/ivette/src/renderer/ASTinfo.tsx
@@ -23,15 +23,15 @@ const ASTinfo = () => {
 
   React.useEffect(() => {
     buffer.clear();
-    if (data) {
+    if (marker && data) {
       buffer.printTextWithTags(data, { css: 'color: blue' });
     }
-  }, [buffer, data]);
+  }, [marker, buffer, data]);
 
   // Callbacks
   function onSelection(name: string) {
     // For now, the only markers are functions.
-    setSelect({ function: name });
+    setSelect({ function: name, marker: null });
   }
 
   // Component
diff --git a/ivette/src/renderer/ASTview.tsx b/ivette/src/renderer/ASTview.tsx
index 3fc396103d7f31e045b07c33646d66746e8cf821..4879b2fd17cb9883661f8490157bf3a73a4e0141 100644
--- a/ivette/src/renderer/ASTview.tsx
+++ b/ivette/src/renderer/ASTview.tsx
@@ -105,7 +105,7 @@ const ASTview = () => {
     if (marker && marker.kind === 'function') {
       const item1 = {
         label: `Go to definition of ${marker.name}`,
-        onClick: () => setSelect({ function: marker.name }),
+        onClick: () => setSelect({ function: marker.name, marker: null }),
       };
       Dome.popupMenu([item1]);
     }