diff --git a/src/shims/backtrace.rs b/src/shims/backtrace.rs
index 2c031f179d08..57d59dd4c098 100644
--- a/src/shims/backtrace.rs
+++ b/src/shims/backtrace.rs
@@ -77,7 +77,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
 
         let ptr = match this.read_scalar(ptr)?.check_init()? {
             Scalar::Ptr(ptr) => ptr,
-            Scalar::Raw { .. } => throw_ub_format!("Expected a pointer in `rust_miri_resolve_frame`, found {:?}", ptr)
+            Scalar::Raw { .. } => throw_ub_format!("expected a pointer in `rust_miri_resolve_frame`, found {:?}", ptr)
         };
 
         let fn_instance = if let Some(GlobalAlloc::Function(instance)) = this.tcx.get_global_alloc(ptr.alloc_id) {
@@ -87,7 +87,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
         };
 
         if dest.layout.layout.fields.count() != 4 {
-            throw_ub_format!("Bad declaration of miri_resolve_frame - should return a struct with 4 fields");
+            throw_ub_format!("bad declaration of miri_resolve_frame - should return a struct with 4 fields");
         }
 
         let pos = BytePos(ptr.offset.bytes().try_into().unwrap());
diff --git a/tests/compile-fail/backtrace/bad-backtrace-decl.rs b/tests/compile-fail/backtrace/bad-backtrace-decl.rs
index bccc7063af71..b9f1c779ae23 100644
--- a/tests/compile-fail/backtrace/bad-backtrace-decl.rs
+++ b/tests/compile-fail/backtrace/bad-backtrace-decl.rs
@@ -7,7 +7,7 @@ fn main() {
     let frames = unsafe { miri_get_backtrace(0) };
     for frame in frames.into_iter() {
         unsafe {
-            miri_resolve_frame(*frame, 0); //~ ERROR Undefined Behavior: Bad declaration of miri_resolve_frame - should return a struct with 4 fields
+            miri_resolve_frame(*frame, 0); //~ ERROR Undefined Behavior: bad declaration of miri_resolve_frame - should return a struct with 4 fields
         }
     }
 }
diff --git a/tests/compile-fail/backtrace/bad-backtrace-ptr.rs b/tests/compile-fail/backtrace/bad-backtrace-ptr.rs
index 3f672eb2dcad..5e245952e9b2 100644
--- a/tests/compile-fail/backtrace/bad-backtrace-ptr.rs
+++ b/tests/compile-fail/backtrace/bad-backtrace-ptr.rs
@@ -4,6 +4,6 @@ extern "Rust" {
 
 fn main() {
     unsafe {
-        miri_resolve_frame(0 as *mut _, 0); //~ ERROR Undefined Behavior: Expected a pointer
+        miri_resolve_frame(0 as *mut _, 0); //~ ERROR Undefined Behavior: expected a pointer
     }
 }