diff --git a/de.prob.eventb.disprover.ui/plugin.xml b/de.prob.eventb.disprover.ui/plugin.xml
index 9d24e750d23e001f5df639f2575b21f6dc5cef3e..8b0ec03affbb9f82d4f4ba94ace0f6c264559fb6 100644
--- a/de.prob.eventb.disprover.ui/plugin.xml
+++ b/de.prob.eventb.disprover.ui/plugin.xml
@@ -94,7 +94,7 @@
          <command
                commandId="de.prob.eventb.disprover.ui.exportpos"
                icon="icons/prob_mini_logo.gif"
-               label="Export POs for ProB"
+               label="Export POs for ProB (probcli)"
                style="push">
          </command>
       </menuContribution>