diff --git a/kani-driver/src/autoharness/mod.rs b/kani-driver/src/autoharness/mod.rs
index 334cc4a41575..4faef3a69071 100644
--- a/kani-driver/src/autoharness/mod.rs
+++ b/kani-driver/src/autoharness/mod.rs
@@ -75,7 +75,7 @@ fn print_skipped_fns(metadata: Vec<KaniMetadata>) {
 
     if skipped_fns.is_empty() {
         println!(
-            "\nSkipped Functions: None. Kani generated automatic harnesses for all functions in the package."
+            "\nSkipped Functions: None. Kani generated automatic harnesses for all functions in the available crate(s)."
         );
         return;
     }
diff --git a/tests/script-based-pre/cargo_autoharness_contracts/contracts.expected b/tests/script-based-pre/cargo_autoharness_contracts/contracts.expected
index ab1dd0e1384a..fd3fd419a73f 100644
--- a/tests/script-based-pre/cargo_autoharness_contracts/contracts.expected
+++ b/tests/script-based-pre/cargo_autoharness_contracts/contracts.expected
@@ -41,4 +41,4 @@ Note that `kani autoharness` sets default --harness-timeout of 30s and --default
 If verification failed because of timing out or too low of an unwinding bound, try passing larger values for these arguments (or, if possible, writing a loop contract).
 Complete - 4 successfully verified functions, 1 failures, 5 total.
 
-Skipped Functions: None. Kani generated automatic harnesses for all functions in the package.
+Skipped Functions: None. Kani generated automatic harnesses for all functions in the available crate(s).
diff --git a/tests/script-based-pre/cargo_autoharness_dependencies/dependencies.expected b/tests/script-based-pre/cargo_autoharness_dependencies/dependencies.expected
index b92119c91e92..5a03fa9b8808 100644
--- a/tests/script-based-pre/cargo_autoharness_dependencies/dependencies.expected
+++ b/tests/script-based-pre/cargo_autoharness_dependencies/dependencies.expected
@@ -11,4 +11,4 @@ Autoharness Summary:
 +-------------------+---------------------------+---------------------+
 Complete - 1 successfully verified functions, 0 failures, 1 total.
 
-Skipped Functions: None. Kani generated automatic harnesses for all functions in the package.
+Skipped Functions: None. Kani generated automatic harnesses for all functions in the available crate(s).
diff --git a/tests/script-based-pre/cargo_autoharness_harnesses_fail/harnesses_fail.expected b/tests/script-based-pre/cargo_autoharness_harnesses_fail/harnesses_fail.expected
index 2afab44b1610..3aa5d017a7db 100644
--- a/tests/script-based-pre/cargo_autoharness_harnesses_fail/harnesses_fail.expected
+++ b/tests/script-based-pre/cargo_autoharness_harnesses_fail/harnesses_fail.expected
@@ -73,4 +73,4 @@ Note that `kani autoharness` sets default --harness-timeout of 30s and --default
 If verification failed because of timing out or too low of an unwinding bound, try passing larger values for these arguments (or, if possible, writing a loop contract).
 Complete - 0 successfully verified functions, 5 failures, 5 total.
 
-Skipped Functions: None. Kani generated automatic harnesses for all functions in the package.
+Skipped Functions: None. Kani generated automatic harnesses for all functions in the available crate(s).
diff --git a/tests/script-based-pre/cargo_autoharness_termination/termination.expected b/tests/script-based-pre/cargo_autoharness_termination/termination.expected
index e678dfa529ac..e95ed9825be4 100644
--- a/tests/script-based-pre/cargo_autoharness_termination/termination.expected
+++ b/tests/script-based-pre/cargo_autoharness_termination/termination.expected
@@ -39,4 +39,4 @@ Note that `kani autoharness` sets default --harness-timeout of 30s and --default
 If verification failed because of timing out or too low of an unwinding bound, try passing larger values for these arguments (or, if possible, writing a loop contract).
 Complete - 0 successfully verified functions, 3 failures, 3 total.
 
-Skipped Functions: None. Kani generated automatic harnesses for all functions in the package.
+Skipped Functions: None. Kani generated automatic harnesses for all functions in the available crate(s).