diff --git a/de.prob.ui/plugin.xml b/de.prob.ui/plugin.xml
index 31a3a0a82deaec1c94bd4eea20d9cfd4df7530db..a8edde201a3de97737dd4a38086703bde5240114 100644
--- a/de.prob.ui/plugin.xml
+++ b/de.prob.ui/plugin.xml
@@ -727,7 +727,7 @@
       <handler
             commandId="de.prob.ui.newcore.export">
          <class
-               class="de.prob.ui.eventb.ExportNewCoreHandler">
+               class="de.prob.ui.eventb.ExportClassicHandler">
          </class>
          <enabledWhen>
             <with