--- a/teaching.html	Mon Sep 24 12:41:35 2018 +0100
+++ b/teaching.html	Thu Oct 04 11:46:05 2018 +0100
@@ -404,7 +404,7 @@
 <TR>
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H3>2003-2004</H3>
-<p><B>Michelmas</B>
+<p><B>Michealmas</B>
 <dl><dd>Logic and Proof (4h)
     <dd>Discrete Mathematics I (9h) 
     <dd>Part II project on a Nominal Theorem Assistant (5.5h)
@@ -439,7 +439,7 @@
 <TR>
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H3>2002-2003</H3>
-<p><B>Michelmas</B>
+<p><B>Michealmas</B>
 <dl><dd>Logic and Proof (5h)
     <dd>Discrete Mathematics I (7h)
     <dd>Part II project on Nominal Unification (7h)
@@ -461,7 +461,7 @@
 <TR>
 <TD BGCOLOR="#FFFFFF"  WIDTH="75%">
 <H3>2001-2002</H3>
-<p><B>Michelmas</B>
+<p><B>Michealmas</B>
 <dl><dd> Logic, Computability and Set Theory (for Math students)
     <dd>Data Structures and Algorithms
     <dd>Logic and Proof (4h)