diff --git a/core/src/num/nonzero.rs b/core/src/num/nonzero.rs
index 2a5821c708f12..d80d3241b1eee 100644
--- a/core/src/num/nonzero.rs
+++ b/core/src/num/nonzero.rs
@@ -1270,7 +1270,7 @@ macro_rules! nonzero_integer_signedness_dependent_methods {
             // Inform the optimizer about it.
             unsafe { hint::assert_unchecked(res < 1 << (Self::BITS / 2)) };
 
-            // SAFETY: The result is positive.
+            // SAFETY: The square root of an integer >= 1 is always >= 1.
             unsafe { Self::new_unchecked(res) }
         }
     };