diff --git a/src/traits-canonicalization.md b/src/traits-canonicalization.md
index 6ff61fdd..bef858af 100644
--- a/src/traits-canonicalization.md
+++ b/src/traits-canonicalization.md
@@ -218,7 +218,7 @@ for later verification.
 than eagerly instantiating all of the canonical values in the result
 with variables, we instead walk the vector of values, looking for
 cases where the value is just a canonical variable. In our example,
-`values[2]` is `?C`, so that we means we can deduce that `?C := ?B and
+`values[2]` is `?C`, so that means we can deduce that `?C := ?B and
 `'?D := 'static`. This gives us a partial set of values. Anything for
 which we do not find a value, we create an inference variable.)