diff --git a/src/tools/miri/README.md b/src/tools/miri/README.md
index 89d4b29ebb8..4483ae242d5 100644
--- a/src/tools/miri/README.md
+++ b/src/tools/miri/README.md
@@ -53,7 +53,7 @@ behavior** in your program, and cannot run all programs:
   positives here, so if your program runs fine in Miri right now that is by no
   means a guarantee that it is UB-free when these questions get answered.
 
-    In particular, Miri does currently not check that references point to valid data.
+    In particular, Miri does not check that references point to valid data.
 * If the program relies on unspecified details of how data is laid out, it will
   still run fine in Miri -- but might break (including causing UB) on different
   compiler versions or different platforms.