diff --git a/de.prob.ui/plugin.xml b/de.prob.ui/plugin.xml
index 3281004389b04d21961dc754a8f5c85f7d081c8e..308df3ea239606d90c3de7b9b543e9d4cac78683 100644
--- a/de.prob.ui/plugin.xml
+++ b/de.prob.ui/plugin.xml
@@ -1071,21 +1071,21 @@
             <command
                   commandId="de.prob.ui.deadlock_check"
                   icon="icons/DeadlockCheck.png"
-                  label="Deadlock Freedom Checking"
+                  label="Deadlock Freedom"
                   mnemonic="D"
                   style="push">
             </command>
             <command
                   commandId="de.prob.ui.invariant_check"
                   icon="icons/CBCInvariantCheck.png"
-                  label="Invariant Preservation Checking"
+                  label="Invariant Preservation"
                   mnemonic="I"
                   style="push">
             </command>
             <command
                   commandId="de.prob.ui.refinement_check"
                   icon="icons/CBCInvariantCheck.png"
-                  label="Refinement Checking"
+                  label="Refinement Proof Obligations"
                   mnemonic="R"
                   style="push">
             </command>