diff --git a/src/mir/index.md b/src/mir/index.md
index 5e78298ad..ef6f2f518 100644
--- a/src/mir/index.md
+++ b/src/mir/index.md
@@ -262,7 +262,7 @@ similarly, in `x + 2`, `2` is a MIR constant. Type system constants are used in
 the type system, in particular for array lengths but also for const generics.
 
 Generally, both kinds of constants can be "unevaluated" or "already evaluated".
-And unevaluated constant simply stores the `DefId` of what needs to be evaluated
+An unevaluated constant simply stores the `DefId` of what needs to be evaluated
 to compute this result. An evaluated constant (a "value") has already been
 computed; their representation differs between type system constants and MIR
 constants: MIR constants evaluate to a `mir::ConstValue`; type system constants