diff --git a/_scala3-reference/changed-features/pattern-matching.md b/_scala3-reference/changed-features/pattern-matching.md
index 2216d145a8..c0f3afa1f5 100644
--- a/_scala3-reference/changed-features/pattern-matching.md
+++ b/_scala3-reference/changed-features/pattern-matching.md
@@ -96,7 +96,7 @@ A usage of a variadic extractor is irrefutable if one of the following condition
 ## Boolean Match
 
 - `U =:= Boolean`
-- Pattern-matching on exactly `0` pattern
+- Pattern-matching on exactly `0` patterns
 
 For example:
 
diff --git a/_scala3-reference/new-types/match-types.md b/_scala3-reference/new-types/match-types.md
index 2516fe78e3..70d34ff416 100644
--- a/_scala3-reference/new-types/match-types.md
+++ b/_scala3-reference/new-types/match-types.md
@@ -69,7 +69,7 @@ use of the match type as the return type):
 ```scala
 def leafElem[X](x: X): LeafElem[X] = x match
   case x: String      => x.charAt(0)
-  case x: Array[t]    => leafElem(x(9))
+  case x: Array[t]    => leafElem(x(0))
   case x: Iterable[t] => leafElem(x.head)
   case x: AnyVal      => x
 ```