diff --git a/doc/foreword.rst b/doc/foreword.rst
index 5b22b2309b2987ce792ee4c14d273780ac6a2f14..716a942332e592a9cc913a1da7f7e33b6c89a45a 100644
--- a/doc/foreword.rst
+++ b/doc/foreword.rst
@@ -19,7 +19,7 @@ the `ONNX <https://onnx.ai/>`_ exchange format. Support Vector Machines (SVM)
 are supported by means of an ad-hoc CSV format.
 
 The motivations and design ideas behind CAISAR have been presented at the
-workshop `AISafety 2022 <https://www.aisafetyw.org/>`_ [GABCL2022]_ and at the `Journées Francophones des Langages Applicatifs 2023 <jfla.inria.fr/jfla2023.html>`_ [GABC2023]_.
+workshop `AISafety 2022 <https://www.aisafetyw.org/>`_ [GABCL2022]_ and at the `Journées Francophones des Langages Applicatifs 2023 <https://jfla.inria.fr/jfla2023.html>`_ [GABC2023]_.
 
 
 Overall Design
diff --git a/doc/installation.rst b/doc/installation.rst
index cb1055b0c444992ad675b71559adb39287ba51c9..5251e2b0c9733e57566cf3273ad39ca2be2be62c 100644
--- a/doc/installation.rst
+++ b/doc/installation.rst
@@ -86,7 +86,7 @@ build CAISAR using the following command:
    This will result in several megabytes download. Make sure you have
    a stable network connexion before attempting building through Nix.
 
-The CAISAR binary will reside in ``result/bin/caisar``. The manual will be under ``result/share/doc/ocaml4.14.1-caisar-0.2.0/``.
+The CAISAR binary will reside in ``result/bin/caisar``. The manual will be under ``result/share/doc/ocaml4.14.1-caisar-${VERSION}/``.
 
 You can run the CAISAR test suite using the following command: