diff --git a/docs/sphinx_docs/Input_file_formats/index.rst b/docs/sphinx_docs/Input_file_formats/index.rst
index 07933f3e5..5a4c44ca8 100644
--- a/docs/sphinx_docs/Input_file_formats/index.rst
+++ b/docs/sphinx_docs/Input_file_formats/index.rst
@@ -7,7 +7,7 @@ Alt-ergo supports different input languages:
 
 - The original input language is its native language, based on the language of the Why3 platform and
   detailed below.
-- Since 2.5.0, Alt-ergo supports the SMT-LIB language v2.6. Since 2.5.0, improved support
+- Alt-ergo supports the SMT-LIB language v2.6. Since 2.5.0, improved support
   is provided by the `Dolmen <https://github.com/Gbury/dolmen>`_ frontend, available with
   the `--frontend dolmen` option.
 - It also (partially) supports the input language of Why3 through the :doc:`AB-Why3 plugin <../Plugins/ab_why3>`.