diff --git a/gtk2_ardour/processor_box.cc b/gtk2_ardour/processor_box.cc
index 7ad56cced3..3040061dc9 100644
--- a/gtk2_ardour/processor_box.cc
+++ b/gtk2_ardour/processor_box.cc
@@ -505,7 +505,15 @@ ProcessorBox::ProcessorBox (ARDOUR::Session* sess, boost::function<PluginSelecto
 
 ProcessorBox::~ProcessorBox ()
 {
-	delete processor_menu;
+	/* it may appear as if we should delete processor_menu but that is a
+	 * pointer to a widget owned by the UI Manager, and has potentially
+	 * be returned to many other ProcessorBoxes. GTK doesn't really make
+	 * clear the ownership of this widget, which is a menu and thus is
+	 * never packed into any container other than an implict GtkWindow.
+	 *
+	 * For now, until or if we ever get clarification over the ownership
+	 * story just let it continue to exist. At worst, its a small memory leak.
+	 */
 }
 
 void