diff --git a/man.html b/man.html
index 35fb66a..48ca588 100644
--- a/man.html
+++ b/man.html
@@ -64,7 +64,7 @@
             <div class="title">
               <a href="https://lmf.cnrs.fr">
                 Laboratoire M&#xE9;thodes Formelles,
-                Universit&#xE9; Paris Saclay</a>
+                Universit&#xE9; Paris-Saclay</a>
               - Since October 2025
             </div>
             <div class="description">
@@ -99,7 +99,8 @@
               M1 Internship. Added support for case analysis and proofs by
               induction on inductive predicates in the
               <a href="https://www.why3.org">Why3</a> platform.
-              Translated a Coq proof to Why3 as a test.
+              Translated a <a href="https://codeberg.org/17maiga/lambda">
+                Coq proof to Why3</a> as a test.
             </div>
           </li>
           <li>
@@ -226,7 +227,7 @@
       </div>
     </main>
     <footer>
-      <span>1.4.0</span>
+      <span>1.4.1</span>
       <span>2025-10-03&nbsp;</span>
       <span>HENRI(1)</span>
     </footer>