diff --git a/info/exercises/ex-01-sol.pdf b/info/exercises/ex-01-sol.pdf
index 537288d75d64490169e6c651ce7a121be3c723d1..b680dafd501b95c33f97f246d2683588579c01fc 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 19045fe56252521f8fb5a407fff6869b4058ccea..0f5211a454b97081ddc1819637e393e7c88e3b34 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/languages.tex b/info/exercises/src/ex-01/ex/languages.tex
index 31cbd507c6515dc534e32378eefeb5430ff483b6..ff0a1fa65a890930f337cb503cac878ec1fb20d2 100644
--- a/info/exercises/src/ex-01/ex/languages.tex
+++ b/info/exercises/src/ex-01/ex/languages.tex
@@ -16,10 +16,10 @@
   \begin{enumerate}
     \renewcommand{\theenumi}{\Alph{enumi}}
     \item \(\{w \mid \forall i. 0 \le i \le |w| \land w_{(i)} = b \implies (i > 0 \land w_{(i - 1)} = a)\}\) % 1
-    \item \(\{w \mid \forall i. 0 \le i < |w| \implies w_{(i)} = b \implies w_{(i + 1)} = a\}\) % wrong
+    \item \(\{w \mid \forall i. 0 \le i < |w| - 1 \implies w_{(i)} = b \implies w_{(i + 1)} = a\}\) % wrong
     \item \(\{w \mid \exists i. 0 < i < |w| \land w_{(i)} = b \land w_{(i - 1)} = a\}\) % wrong
     \item \(\{w \mid (|w| = 0 \mod 2 \lor |w| = 0 \mod 3) \land \forall i. 0 \leq i < |w| \implies w_{(i)} = a\}\) % 2
-    \item \(\{w \mid \forall i. 0 \le i < |w| \land w_{(i)} = a \implies w_{(i + 1)} = b\}\) % wrong
+    \item \(\{w \mid \forall i. 0 \le i < |w| - 1 \land w_{(i)} = a \implies w_{(i + 1)} = b\}\) % wrong
     \item \(\{w \mid \exists i. 0 < i < |w| - 1 \land 
     (\forall y. 0 \leq y \leq i \implies w_{(y)} = a) \land  (\forall y. i < y < |w| \implies w_{(y)} = b) \}\) % 3
   \end{enumerate}
@@ -39,7 +39,7 @@
         & A & B & C & D & E & F \\
         1 & - & a & a & a & aa & a \\
         2 & ab\(^\star\) & ba\(^\star\)& ab\(^\star\)& - & ab\(^\star\)& aa \\
-        3 & & & & & & - \\
+        3 & abb & abb & aba\(^\star\) & aaabb & aab & - \\
       \end{tabular}
     \end{center}