diff --git a/info/exercises/ex-01-sol.pdf b/info/exercises/ex-01-sol.pdf
index b680dafd501b95c33f97f246d2683588579c01fc..e8af4edbf2ab6a022adf26b2c02cb2f1f38a4339 100644
Binary files a/info/exercises/ex-01-sol.pdf and b/info/exercises/ex-01-sol.pdf differ
diff --git a/info/exercises/ex-01.pdf b/info/exercises/ex-01.pdf
index 0f5211a454b97081ddc1819637e393e7c88e3b34..8b9aac3c279a97f910aaaeaaf50259c4592cb3d7 100644
Binary files a/info/exercises/ex-01.pdf and b/info/exercises/ex-01.pdf differ
diff --git a/info/exercises/src/ex-01/ex/lexer.tex b/info/exercises/src/ex-01/ex/lexer.tex
index cf5ece986bf7fec1c84a400f2bbe4e959f495b04..ccc7f30f9c2baac677e8e6fb6277e4117c2f06a0 100644
--- a/info/exercises/src/ex-01/ex/lexer.tex
+++ b/info/exercises/src/ex-01/ex/lexer.tex
@@ -144,10 +144,9 @@ lexer drops any \texttt{skip} tokens.
     There are many possible solutions. The key is to notice which tokens have
     overlapping prefixes.
 
-    An example is \texttt{letx1in}, which would be lexed as
-    \texttt{[keyword("let"), id("x1"), keyword("in")]} if we check acceptance in
-    order of priority, but as \texttt{[id("letx1in")]} if we run them in
-    parallel.
+    An example is \texttt{letx1}, which would be lexed as
+    \texttt{[keyword("let"), id("x1")]} if we check acceptance in order of
+    priority, but as \texttt{[id("letx1")]} if we run them in parallel.
   \end{solution}
 \end{exercise}