diff --git a/man.html b/man.html
index b430686..2360609 100644
--- a/man.html
+++ b/man.html
@@ -39,9 +39,9 @@
               - March to July 2024
             </div>
             <div class="description">
-              Added support for proofs on inductive predicates in the Why3
-              framework.<br>
-              <a href="./pdf/m1_report.pdf">/pdf/m1_report.pdf</a>
+              M1 Internship. Added support for case analysis and proofs by
+              induction on inductive predicates in the Why3 framework.
+              Translated a Coq proof to Why3 as a test.
             </div>
           </li>
           <li>
@@ -50,8 +50,9 @@
               - September 2022 to August 2023
             </div>
             <div class="description">
-              Back-end development on containerized infrastructure in Python. 
-              Web app design with React.js, Flask and Docker.
+              L2 Traineeship. Back-end development on containerized
+              infrastructure in Python. Web app design with React.js, Flask and
+              Docker.
             </div>
           </li>
           <li>
@@ -60,13 +61,16 @@
               - May to August 2022
             </div>
             <div class="description">
-              Development of an automated end-to-end testing tool and ISO 20022
-              file format converter for CDC's banking infrastructure in Java.
+              L2 Internship. Development of an automated end-to-end testing tool
+              and ISO 20022 file format converter for CDC's banking
+              infrastructure in Java.
             </div>
           </li>
           <li>
             <div class="title">Ac'Lab - August 2021 - May 2022</div>
-            <div class="description">Vice-Treasurer and Teaching Lead.</div>
+            <div class="description">
+              Association. Vice-Treasurer and Teaching Lead.
+            </div>
           </li>
           <li>
             <div class="title">
@@ -74,8 +78,8 @@
               - May to August 2021
             </div>
             <div class="description">
-              Work on customer insight and customer journey. Deployment of an
-              in-house iOS application.
+              L1 Internship. Work on customer insight and customer journey.
+              Deployment of an in-house iOS application.
             </div>
         </ul>
       </div>
@@ -113,6 +117,12 @@
             </div>
             <div class="description">Curriculum Vitae.</div>
           </li>
+          <li>
+            <div class="title">
+              <a href="./pdf/m1_report.pdf">/pdf/m1_report.pdf</a>
+            </div>
+            <div class="description">Report for M1 Internship.</div>
+          </li>
         </ul>
       </div>
       <div class="section" id="see_also">
@@ -142,8 +152,8 @@
       </div>
     </main>
     <footer>
-      <span>1.0.0</span>
-      <span>2024-05-06&nbsp;</span>
+      <span>1.1.0</span>
+      <span>2024-07-12&nbsp;</span>
       <span>HENRI(1)</span>
     </footer>
   </body>