diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml
index da19a845cc80ec764ad289f65f2ea823462a1de2..b30b823100c1ee9bee3bbb1b79f3f7b9fcd7ac2a 100644
--- a/de.prob2.disprover.feature/feature.xml
+++ b/de.prob2.disprover.feature/feature.xml
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <feature
       id="de.prob2.disprover.feature"
-      label="ProB for Rodin3 - (Dis)Prover"
+      label="ProB for Rodin - (Dis)Prover"
       version="3.1.2.qualifier"
       provider-name="HHU Düsseldorf STUPS Group">
 
diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index d090ab96c63bc577186532ef219a5dcff218e10e..14b88c237eb6a8062cd27dd0d31ac645a0fac3f4 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <feature
       id="de.prob2.feature"
-      label="ProB for Rodin3"
+      label="ProB for Rodin"
       version="3.1.2.qualifier"
       provider-name="HHU Düsseldorf STUPS Group">
 
diff --git a/de.prob2.symbolic.feature/feature.xml b/de.prob2.symbolic.feature/feature.xml
index 7e9983b2fb034a2d8ce213c45a9215266126e765..f1dce4936e3af11c6830193f684b4027748f31f2 100644
--- a/de.prob2.symbolic.feature/feature.xml
+++ b/de.prob2.symbolic.feature/feature.xml
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <feature
       id="de.prob2.symbolic.feature"
-      label="ProB for Rodin3 - Symbolic Constants Support"
+      label="ProB for Rodin - Symbolic Constants Support"
       version="3.1.2.qualifier"
       provider-name="HHU Düsseldorf STUPS Group">