diff --git a/examples/Plugins/ARAPluginDemo.h b/examples/Plugins/ARAPluginDemo.h
index 89f7d1bdb3..2abc297ec4 100644
--- a/examples/Plugins/ARAPluginDemo.h
+++ b/examples/Plugins/ARAPluginDemo.h
@@ -1930,9 +1930,10 @@ public:
             selectMusicalContext (musicalContext);
     }
 
-    void willDestroyMusicalContext (ARAMusicalContext*) override
+    void willDestroyMusicalContext (ARAMusicalContext* musicalContext) override
     {
-        selectMusicalContext (nullptr);
+        if (selectedMusicalContext == musicalContext)
+            selectMusicalContext (nullptr);
     }
 
     void didReorderRegionSequencesInDocument (ARADocument*) override
@@ -1980,9 +1981,6 @@ public:
             if (newSelectedMusicalContext != selectedMusicalContext)
                 selectMusicalContext (newSelectedMusicalContext);
 
-        // If no context is used yet and the selection does not yield a new one, the DocumentView
-        // uses the first musical context in the document.
-
         if (const auto timeRange = viewSelection.getTimeRange())
             overlay.setSelectedTimeRange (*timeRange);
         else