--- a/handouts/scala-ho.tex	Sun Sep 14 15:18:58 2014 +0100
+++ b/handouts/scala-ho.tex	Sun Sep 14 23:32:22 2014 +0100
@@ -88,8 +88,8 @@
 between a function that returns a result, like addition, and a
 function that causes a side-effect, like \code{print}. We
 shall come back to this point later, but if you are curious
-now, the latter kind of functions always has as return type
-\code{Unit}.
+now, the latter kind of functions always has \code{Unit} as
+return type.
 
 If you want to write a stand-alone app in Scala, you can
 implement an object that is an instance of \code{App}, say
@@ -149,7 +149,7 @@
 familiar with Java, it might be an instructive exercise to
 define this kind of inductive datatypes in Java\footnote{Happy
 programming! \Smiley} and then compare it with how it can be
-defined in Scala.
+implemented in Scala.
 
 Implementing the regular expressions from above in Scala is
 actually very simple: It first requires an \emph{abstract
@@ -360,7 +360,7 @@
 cases above did not match. Cases are always tried out from top
 to bottom.
  
-\subsection*{Loops, or the Absence of}
+\subsection*{Loops, or the Absence thereof}
 
 Coming from Java or C, you might be surprised that Scala does
 not really have loops. It has instead, what is in functional