diff --git a/info/exercises/src/ex-01/ex/dfa.tex b/info/exercises/src/ex-01/ex/dfa.tex
index 38b2ca6be2907b00f1013fab01dbe046390451f9..42f5d96087f7b3c131f65881bd5e6d6de7496928 100644
--- a/info/exercises/src/ex-01/ex/dfa.tex
+++ b/info/exercises/src/ex-01/ex/dfa.tex
@@ -211,8 +211,9 @@
   
       \item 
         As generalized regular expression (with complement): \((\Sigma^* aa
-        \Sigma^*)^c\). Without complement: \((b^*(ab^*)^*)^*\). This is the language
-        of words that contain no consecutive pair of \(a\)'s. In set-notation:
+        \Sigma^*)^c\). Without complement: \(b^*(ab^+)^*(a \mid \epsilon)\).
+        This is the language of words that contain no consecutive pair of
+        \(a\)'s. In set-notation:
         \begin{equation*}
           \{w \mid \forall i.\; 0 \leq i < |w| \land w_{(i)} = a \implies (i + 1 \geq |w| \lor w_{(i + 1)} \neq a)\}
         \end{equation*}
diff --git a/info/exercises/src/ex-01/ex/lexer.tex b/info/exercises/src/ex-01/ex/lexer.tex
index ccc7f30f9c2baac677e8e6fb6277e4117c2f06a0..935d80edf48120ad2199dab881d509fdf05a56dc 100644
--- a/info/exercises/src/ex-01/ex/lexer.tex
+++ b/info/exercises/src/ex-01/ex/lexer.tex
@@ -125,8 +125,8 @@ lexer drops any \texttt{skip} tokens.
 
   \begin{solution}
     \begin{enumerate}
-      \item \texttt{[keyword("let"), id("x"), equal, number("5"), keyword("in"), id("x"), op("+"), number("3")]}
-      \item \texttt{[id("let"), number("5"), id("x2")]}
+      \item \texttt{[keyword("let"), id("x"), equal("="), number("5"), keyword("in"), id("x"), op("+"), number("3")]}
+      \item \texttt{[keyword("let"), number("5"), id("x2")]}
       \item \texttt{[id("xin")]}
       \item \texttt{[comp("=="), op(">")]}
       \item \texttt{[comp("<="), comp("=="), op(">"), comp("<="), equal("=")]}