diff --git a/libcrux-ml-kem/src/kem/kyber/helper.rs b/libcrux-ml-kem/src/kem/kyber/helper.rs
index c0bae70fd..f46a23ae7 100644
--- a/libcrux-ml-kem/src/kem/kyber/helper.rs
+++ b/libcrux-ml-kem/src/kem/kyber/helper.rs
@@ -2,6 +2,7 @@
 /// can go through.
 
 #[cfg(not(hax))]
+#[doc(hidden)]
 #[macro_export]
 macro_rules! cloop {
     (for ($i:ident, $chunk:ident) in $val:ident.$values:ident.chunks_exact($($chunk_size:expr),*).enumerate() $body:block) => {
@@ -37,6 +38,7 @@ macro_rules! cloop {
 }
 
 #[cfg(hax)]
+#[doc(hidden)]
 #[macro_export]
 macro_rules! cloop {
     (for ($i:ident, $chunk:ident) in $val:ident.$values:ident.chunks_exact($($chunk_size:expr),*).enumerate() $body:block) => {