diff --git a/org.eventb.texteditor.feature/feature.xml b/org.eventb.texteditor.feature/feature.xml
index 50fa405c87098c584dbd1ca6945253640ee244d7..6c6a104fe2c88d2fa14bf5fd74d50e5f2011801c 100644
--- a/org.eventb.texteditor.feature/feature.xml
+++ b/org.eventb.texteditor.feature/feature.xml
@@ -176,7 +176,6 @@ Inc. in the United States, other countries, or both.
       <import plugin="org.eventb.emf.core" version="4.0.0" match="greaterOrEqual"/>
       <import plugin="org.eventb.emf.formulas" version="1.4.0" match="greaterOrEqual"/>
       <import plugin="org.eventb.emf.persistence" version="3.1.1" match="greaterOrEqual"/>
-      <import plugin="org.eventb.texteditor.parsers"/>
       <import plugin="org.eventb.ui" version="3.0.0" match="compatible"/>
       <import plugin="org.rodinp.core" version="1.7.0" match="compatible"/>
       <import plugin="org.rodinp.keyboard.core" version="2.0.0" match="compatible"/>
diff --git a/org.eventb.texteditor.ui/META-INF/MANIFEST.MF b/org.eventb.texteditor.ui/META-INF/MANIFEST.MF
index a310e66bb9bfeb8f139da259077964f9887f9bf8..f74f434372eb38307412e68c924fc9c74c306e81 100644
--- a/org.eventb.texteditor.ui/META-INF/MANIFEST.MF
+++ b/org.eventb.texteditor.ui/META-INF/MANIFEST.MF
@@ -19,7 +19,7 @@ Require-Bundle: org.eclipse.core.resources;bundle-version="[3.8.1,4.0.0)",
  org.eventb.emf.core;bundle-version="[4.0.0,7.0.0)",
  org.eventb.emf.formulas;bundle-version="[1.4.0,3.0.0)",
  org.eventb.emf.persistence;bundle-version="[3.1.1,5.0.0)";visibility:=reexport,
- org.eventb.texteditor.parsers,
+ org.eventb.texteditor.parsers;bundle-version="[3.5.0,3.6.0)",
  org.eventb.texttools;bundle-version="[3.5.0,3.6.0)";visibility:=reexport,
  org.eventb.ui;bundle-version="[3.0.0,4.0.0)";visibility:=reexport,
  org.rodinp.core;bundle-version="[1.7.0,2.0.0)",
diff --git a/org.eventb.texttools/META-INF/MANIFEST.MF b/org.eventb.texttools/META-INF/MANIFEST.MF
index 306b77ef3b1ae8d2cac6ece7e0fe9fc510ad10c4..b6ed32e3f1d91ee2c17762b3e002524738efdc83 100644
--- a/org.eventb.texttools/META-INF/MANIFEST.MF
+++ b/org.eventb.texttools/META-INF/MANIFEST.MF
@@ -18,7 +18,7 @@ Require-Bundle: org.eclipse.core.resources;bundle-version="[3.8.1,4.0.0)",
  org.eventb.emf.core;bundle-version="[4.0.0,7.0.0)",
  org.eventb.emf.formulas;bundle-version="[1.4.0,3.0.0)",
  org.eventb.emf.persistence;bundle-version="[3.1.1,5.0.0)",
- org.eventb.texteditor.parsers,
+ org.eventb.texteditor.parsers;bundle-version="[3.5.0,3.6.0)",
  org.rodinp.core;bundle-version="[1.7.0,2.0.0)"
 Bundle-Vendor: Heinrich-Heine University Dusseldorf
 Bundle-ClassPath: .