diff --git a/docs/docs/reference/other-new-features/erased-terms.md b/docs/docs/reference/other-new-features/erased-terms.md
index b171bc5df691..b96e212c0c90 100644
--- a/docs/docs/reference/other-new-features/erased-terms.md
+++ b/docs/docs/reference/other-new-features/erased-terms.md
@@ -91,7 +91,7 @@ that will not be found.
 
 As the implicit evidences of `turnedOn` and `turnedOff` are not used in the bodies of those functions 
 we can mark them as `erased`. This will remove the evidence parameters at runtime, but we would still
-evaluate the `isOn` and `isOff` implicits that where found as arguments.
+evaluate the `isOn` and `isOff` implicits that were found as arguments.
 As `isOn` and `isOff` are not used except as `erased` arguments, we can mark them as `erased`, hence
 removing the evaluation of the `isOn` and `isOff` evidences.