diff --git a/src/doc/rustc-dev-guide/src/type-inference.md b/src/doc/rustc-dev-guide/src/type-inference.md
index 4795e23c1264..9ae88decd1a5 100644
--- a/src/doc/rustc-dev-guide/src/type-inference.md
+++ b/src/doc/rustc-dev-guide/src/type-inference.md
@@ -13,8 +13,8 @@ fn main() {
 }
 ```
 
-Here, `things` is *inferenced* to be `&str` because that's the value we push
-into `things`.
+Here, the type of `things` is *inferenced* to be `&str` because that's the value
+we push into `things`.
 
 The type inference is based on the standard Hindley-Milner (HM) type inference
 algorithm, but extended in various way to accommodate subtyping, region