diff --git a/src/diagnostics.rs b/src/diagnostics.rs
index 3bf8c7bc17bb..1ccf3c5dba73 100644
--- a/src/diagnostics.rs
+++ b/src/diagnostics.rs
@@ -150,7 +150,7 @@ pub fn report_error<'tcx, 'mir>(
                 UnsupportedInIsolation(_) =>
                     vec![
                         (None, format!("pass the flag `-Zmiri-disable-isolation` to disable isolation;")),
-                        (None, format!("or pass `-Zmiri-isolation-error=warn to configure Miri to return an error code from isolated operations (if supported for that operation) and continue with a warning")),
+                        (None, format!("or pass `-Zmiri-isolation-error=warn` to configure Miri to return an error code from isolated operations (if supported for that operation) and continue with a warning")),
                     ],
                 ExperimentalUb { url, .. } =>
                     vec![