diff --git a/docs/docs/reference/dropped/existential-types.md b/docs/docs/reference/dropped/existential-types.md
index f4f3a469f6a7..747a51060116 100644
--- a/docs/docs/reference/dropped/existential-types.md
+++ b/docs/docs/reference/dropped/existential-types.md
@@ -6,7 +6,7 @@ title: Dropped: Existential Types
 Existential types using `forSome` have been dropped. The reasons for dropping them were:
 
  - Existential types violate a type soundness principle on which DOT
-   and Dotty are constructed. That principle says that every the
+   and Dotty are constructed. That principle says that every
    prefix (`p`, respectvely `S`) of a type selection `p.T` or `S#T`
    must either come from a value constructed at runtime or refer to a
    type that is known to have only good bounds.
@@ -14,7 +14,7 @@ Existential types using `forSome` have been dropped. The reasons for dropping th
  - Existential types create many difficult feature interactions
    with other Scala constructs.
 
- - Existential types have large overlap with path-dependent types,
+ - Existential types largely overlap with path-dependent types,
    so the gain of having them is relatively minor.
 
 Existential types that can be expressed using only wildcards (but not
@@ -29,5 +29,4 @@ of `Int`.
 
 When reading classfiles compiled with _scalac_, Dotty will do a best
 effort to approximate existential types with its own types. It will
-issue a warning is a precise emulation is not possible.
-
+issue a warning that a precise emulation is not possible.