--- a/slides/slides03.tex	Wed Oct 03 13:37:11 2018 +0100
+++ b/slides/slides03.tex	Fri Oct 05 11:07:57 2018 +0100
@@ -28,7 +28,7 @@
   \begin{center}
   \begin{tabular}{lp{8cm}}
   Email:  & christian.urban at kcl.ac.uk\\
-  Office: & N7.07 (North Wing, Bush House)\\
+  Office: & N\liningnums{7.07} (North Wing, Bush House)\\
   Slides: & KEATS (also homework and coursework is there)\\
   \end{tabular}
   \end{center}
@@ -42,7 +42,7 @@
 
 \begin{itemize}
 \item \small https://nms.kcl.ac.uk/christian.urban/ProgInScala2ed.pdf\normalsize
-\item homeworks (written exam 80\%)
+\item homework (written exam 80\%)
 \item coursework (20\%)\bigskip
 \item short survey at KEATS; to be answered until Sunday    
 \end{itemize}
@@ -173,7 +173,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \begin{frame}[c]
 
-We proved partially
+We proved
 
 \begin{center}
 \bl{$nullable(r)$} \;if and only if\;  \bl{$[] \in L(r)$}