diff --git a/library/core/src/contracts.rs b/library/core/src/contracts.rs
index 53f459debabc..495f84bce4bf 100644
--- a/library/core/src/contracts.rs
+++ b/library/core/src/contracts.rs
@@ -13,7 +13,7 @@ pub use crate::macros::builtin::{contracts_ensures as ensures, contracts_require
 #[unstable(feature = "contracts_internals", issue = "128044" /* compiler-team#759 */)]
 // Similar to `contract_check_requires`, we need to use the user-facing
 // `contracts` feature rather than the perma-unstable `contracts_internals`.
-// Const-checking doesn't honor allow internal unstable logic used by contract expansion.
+// Const-checking doesn't honor allow_internal_unstable logic used by contract expansion.
 #[rustc_const_unstable(feature = "contracts", issue = "128044")]
 #[lang = "contract_build_check_ensures"]
 pub const fn build_check_ensures<Ret, C>(cond: C) -> C
diff --git a/library/core/src/intrinsics/mod.rs b/library/core/src/intrinsics/mod.rs
index 90f686a67288..9c9c1e41e717 100644
--- a/library/core/src/intrinsics/mod.rs
+++ b/library/core/src/intrinsics/mod.rs
@@ -3484,7 +3484,7 @@ pub const fn contract_check_requires<C: Fn() -> bool + Copy>(cond: C) {
 #[unstable(feature = "contracts_internals", issue = "128044")]
 // Similar to `contract_check_requires`, we need to use the user-facing
 // `contracts` feature rather than the perma-unstable `contracts_internals`.
-// Const-checking doesn't honor allow internal unstable logic used by contract expansion.
+// Const-checking doesn't honor allow_internal_unstable logic used by contract expansion.
 #[rustc_const_unstable(feature = "contracts", issue = "128044")]
 #[lang = "contract_check_ensures"]
 #[rustc_intrinsic]