diff --git a/src/tools/miri/README.md b/src/tools/miri/README.md
index 2b5ffb1a33d2..5eb8c0fa7c99 100644
--- a/src/tools/miri/README.md
+++ b/src/tools/miri/README.md
@@ -412,6 +412,8 @@ to Miri failing to detect cases of undefined behavior in a program.
   The default is to search for and remove unreachable provenance once every `10000` basic blocks. Setting
   this to `0` disables the garbage collector, which causes some programs to have explosive memory
   usage and/or super-linear runtime.
+* `-Zmiri-track-alloc-accesses` show not only allocation and free events for tracked allocations,
+  but also reads and writes.
 * `-Zmiri-track-alloc-id=<id1>,<id2>,...` shows a backtrace when the given allocations are
   being allocated or freed.  This helps in debugging memory leaks and
   use after free bugs. Specifying this argument multiple times does not overwrite the previous
diff --git a/src/tools/miri/src/diagnostics.rs b/src/tools/miri/src/diagnostics.rs
index 7afcf919b918..de0ed879b366 100644
--- a/src/tools/miri/src/diagnostics.rs
+++ b/src/tools/miri/src/diagnostics.rs
@@ -562,7 +562,7 @@ pub fn emit_diagnostic(&self, e: NonHaltingDiagnostic) {
                     align = align.bytes(),
                 ),
             AccessedAlloc(AllocId(id), access_kind) =>
-                format!("{access_kind} access to allocation with id {id}"),
+                format!("{access_kind} to allocation with id {id}"),
             FreedAlloc(AllocId(id)) => format!("freed allocation with id {id}"),
             RejectedIsolatedOp(ref op) =>
                 format!("{op} was made to return an error due to isolation"),