diff --git a/src/frontends/qt4/GuiView.cpp b/src/frontends/qt4/GuiView.cpp
index fff7f24..6195195 100644
--- a/src/frontends/qt4/GuiView.cpp
+++ b/src/frontends/qt4/GuiView.cpp
@@ -425,13 +425,8 @@ GuiView::GuiView(int id)
 	// they are greyed out.
 	guiApp->setCurrentView(this);
  
-#if defined(Q_WS_MACX)
-	static QMenuBar * qmb = new QMenuBar(0);
-#else
-	QMenuBar * qmb = menuBar();
-#endif
  	// Fill up the menu bar.
-	guiApp->menus().fillMenuBar(qmb, this, true);
+	guiApp->menus().fillMenuBar(menuBar(), this, true);
 
 	setCentralWidget(d.stack_widget_);
 
@@ -533,6 +528,15 @@ QVector<GuiWorkArea*> GuiView::GuiViewPrivate::guiWorkAreas()
 }
 
 
+#if defined(Q_WS_MACX)
+QMenuBar * GuiView::menuBar() const
+{
+	static QMenuBar * globalMenuBar = new QMenuBar(0);
+	return globalMenuBar;
+}
+#endif
+
+
 #if QT_VERSION >= 0x040400
 
 void GuiView::processingThreadStarted()
diff --git a/src/frontends/qt4/GuiView.h b/src/frontends/qt4/GuiView.h
index 667ce60..02199c1 100644
--- a/src/frontends/qt4/GuiView.h
+++ b/src/frontends/qt4/GuiView.h
@@ -137,6 +137,13 @@ public:
 	GuiToolbar * makeToolbar(ToolbarInfo const & tbinfo, bool newline);
 	void updateStatusBar();
 
+#if defined(Q_WS_MACX)
+	// We have to share one menu bar, so we must create a menu bar that does not have a parent.
+	// To enforce this we override the QMainWindow::menuBar() implementation.
+	// See https://bugreports.qt-project.org/browse/QTBUG-25399
+	QMenuBar *menuBar() const;
+#endif
+
 	/// updates the possible layouts selectable
 	void updateLayoutList();
 	void updateToolbars();
diff --git a/status.20x b/status.20x
index 4ce53b3..fbff309 100644
--- a/status.20x
+++ b/status.20x
@@ -55,6 +55,8 @@ What's new
 
 * USER INTERFACE
 
+- Fix the missing menu entry for "Insert Branch <branch name>".
+  
 
 
 * DOCUMENTATION AND LOCALIZATION