diff --git a/src/borrow_check/region_inference.md b/src/borrow_check/region_inference.md
index c754a500..0484b14d 100644
--- a/src/borrow_check/region_inference.md
+++ b/src/borrow_check/region_inference.md
@@ -129,7 +129,7 @@ the type of `foo`   the type `bar` expects
 ```
 
 We handle this sort of subtyping by taking the variables that are
-bound in the supertype and replace them with
+bound in the supertype and replacing them with
 [universally quantified](../appendix/background.html#quantified)
 representatives, written like `!1`. We call these regions "placeholder
 regions" – they represent, basically, "some unknown region".