diff --git a/VL2.tex b/VL2.tex
index cd008d4..21f619b 100644
--- a/VL2.tex
+++ b/VL2.tex
@@ -98,7 +98,7 @@ We can even have more generic stuff like:
 \begin{haskellcode}
 f :: a -> b
 \end{haskellcode}
-Whatever the function does... it has something of one type and returns something of another type (\emph{not} the same). That's all we know.
+Whatever the function does... it has something of one type and returns something of another type (it could be the same type, but doesn't need to). That's all we know.
 \vspace{\baselineskip}
 \\
 \pause