diff --git a/_overviews/scala3-book/types-adts-gadts.md b/_overviews/scala3-book/types-adts-gadts.md
index 356d01c16..3f89a321d 100644
--- a/_overviews/scala3-book/types-adts-gadts.md
+++ b/_overviews/scala3-book/types-adts-gadts.md
@@ -142,7 +142,7 @@ enum Nat:
   case Zero
   case Succ(n: Nat)
 ```
-For example the value `Succ(Succ(Zero))` represents the number `2` in an unary encoding.
+For example the value `Succ(Succ(Zero))` represents the number `2` in a unary encoding.
 Lists can be defined in a very similar way:
 
 ```scala