diff --git a/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/DisproverPreferences.java b/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/DisproverPreferences.java
index dbc824898ab2a6e09fc8c8467c1d08422fd6ea33..e0fa5ff5947bfce3d0ad68375fc1e0c336ac6cde 100644
--- a/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/DisproverPreferences.java
+++ b/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/DisproverPreferences.java
@@ -162,7 +162,7 @@ public class DisproverPreferences extends PreferencePage implements
 		checkDoubleEval.setSelection(prefNode.getBoolean("doubleeval", false));
 
 		new Label(pageComponent, SWT.NONE)
-				.setText("Export selected hypotheses to B text file (/tmp/ProB_Rodin_PO_SelectedHyps.mch):");
+				.setText("Export Goal and selected Hypotheses to B file (/tmp/ProB_Rodin_PO_SelectedHyps.mch):");
 		checkExportSelectedHyps = new Button(pageComponent, SWT.CHECK);
 		checkExportSelectedHyps.setSelection(prefNode.getBoolean("exportpo", false));