@@ -50,7 +50,7 @@ void f()
 
 ## Heuristics
 
-Code analysis can't always prove whether an array index is in range. This can happen, for example, when the index is computed from a complex expression, including those expressions that use call into other functions. In these cases, code analysis may fall back on other clues to determine the range an array index expression may fall into.
+Code analysis can't always prove whether an array index is in range. This can happen, for example, when the index is computed from a complex expression, including those expressions that call into other functions. In these cases, code analysis may fall back on other clues to determine the range an array index expression may fall into.
 
 For example, consider the following function that uses `rand()` in index calculations as a stand-in for a function call that code analysis can't analyze: