diff --git a/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/export/ExportPOsHandler.java b/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/export/ExportPOsHandler.java
index a23434051a7abce63dbdf12e216df32afcb5e93b..ab3505480beb40e3056e65e62622c52903403e83 100644
--- a/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/export/ExportPOsHandler.java
+++ b/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/export/ExportPOsHandler.java
@@ -151,7 +151,7 @@ public class ExportPOsHandler extends AbstractHandler implements IHandler {
 			// disprover_po(Name,Context,Goal,Hyps,SelectedHyps)
 			pto.openTerm("disprover_po");
 
-			pto.printAtom(proverSequent.toString());
+			pto.printAtom(ipoSequent.getElementName());
 
 			disproverContext.apply(modelAst);