From 4dfb816bb4beb253bb771ed043ca4132fa7ea01b Mon Sep 17 00:00:00 2001
From: jay-tux <sys.jonas@yahoo.com>
Date: Wed, 24 Sep 2025 18:40:03 +0200
Subject: [PATCH] Forgot some spaces

---
 index.html    | 8 +++++---
 jaytux.com.md | 4 ++--
 2 files changed, 7 insertions(+), 5 deletions(-)

diff --git a/index.html b/index.html
index be1ed1e..84dce68 100644
--- a/index.html
+++ b/index.html
@@ -253,9 +253,11 @@ Assistant)<br />
 <em>Description:</em> A project-oriented course meant to teach students
 to work in a professional setting, by building a mobile app.</p></li>
 <li><p><strong>Foundations of Programming Languages</strong> (Teaching
-Assistant) <em>Semester:</em> Fall 2025 <em>Descriptoin:</em> A course
-in formalization, teaching students to reason formally about programming
-languages and the use of the Rocq theorem prover.</p></li>
+Assistant)<br />
+<em>Semester:</em> Fall 2025<br />
+<em>Descriptoin:</em> A course in formalization, teaching students to
+reason formally about programming languages and the use of the Rocq
+theorem prover.</p></li>
 </ul>
 <hr />
 <h2 id="education">Education</h2>
diff --git a/jaytux.com.md b/jaytux.com.md
index 37f76f8..4f77dcc 100644
--- a/jaytux.com.md
+++ b/jaytux.com.md
@@ -61,8 +61,8 @@ header-includes:
   *Semester:* Spring 2025  
   *Description:* A project-oriented course meant to teach students to work in a professional setting, by building a mobile app.
 
-- **Foundations of Programming Languages** (Teaching Assistant)
-  *Semester:* Fall 2025
+- **Foundations of Programming Languages** (Teaching Assistant)  
+  *Semester:* Fall 2025  
   *Descriptoin:* A course in formalization, teaching students to reason formally about programming languages and the use of the Rocq theorem prover.
 
 ---