diff --git a/src/backend/vector/avx2/constants.rs b/src/backend/vector/avx2/constants.rs
index 19204e4..614286c 100644
--- a/src/backend/vector/avx2/constants.rs
+++ b/src/backend/vector/avx2/constants.rs
@@ -35,7 +35,7 @@ pub(crate) static CACHEDPOINT_IDENTITY: CachedPoint = CachedPoint(FieldElement26
 ]));
 
 /// The low limbs of (2p, 2p, 2p, 2p), so that
-/// ```no_run
+/// ```ascii,no_run
 /// (2p, 2p, 2p, 2p) = [P_TIMES_2_LO, P_TIMES_2_HI, P_TIMES_2_HI, P_TIMES_2_HI, P_TIMES_2_HI]
 /// ```
 pub(crate) static P_TIMES_2_LO: u32x8 = u32x8::new(
@@ -50,7 +50,7 @@ pub(crate) static P_TIMES_2_LO: u32x8 = u32x8::new(
 );
 
 /// The high limbs of (2p, 2p, 2p, 2p), so that
-/// ```no_run
+/// ```ascii,no_run
 /// (2p, 2p, 2p, 2p) = [P_TIMES_2_LO, P_TIMES_2_HI, P_TIMES_2_HI, P_TIMES_2_HI, P_TIMES_2_HI]
 /// ```
 pub(crate) static P_TIMES_2_HI: u32x8 = u32x8::new(
@@ -65,7 +65,7 @@ pub(crate) static P_TIMES_2_HI: u32x8 = u32x8::new(
 );
 
 /// The low limbs of (16p, 16p, 16p, 16p), so that
-/// ```no_run
+/// ```ascii,no_run
 /// (16p, 16p, 16p, 16p) = [P_TIMES_16_LO, P_TIMES_16_HI, P_TIMES_16_HI, P_TIMES_16_HI, P_TIMES_16_HI]
 /// ```
 pub(crate) static P_TIMES_16_LO: u32x8 = u32x8::new(
@@ -80,7 +80,7 @@ pub(crate) static P_TIMES_16_LO: u32x8 = u32x8::new(
 );
 
 /// The high limbs of (16p, 16p, 16p, 16p), so that
-/// ```no_run
+/// ```ascii,no_run
 /// (16p, 16p, 16p, 16p) = [P_TIMES_16_LO, P_TIMES_16_HI, P_TIMES_16_HI, P_TIMES_16_HI, P_TIMES_16_HI]
 /// ```
 pub(crate) static P_TIMES_16_HI: u32x8 = u32x8::new(
diff --git a/src/backend/vector/avx2/field.rs b/src/backend/vector/avx2/field.rs
index 35cf21c..e7ee916 100644
--- a/src/backend/vector/avx2/field.rs
+++ b/src/backend/vector/avx2/field.rs
@@ -46,11 +46,11 @@ use backend::vector::avx2::constants::{P_TIMES_16_HI, P_TIMES_16_LO, P_TIMES_2_H
 use backend::serial::u64::field::FieldElement51;
 
 /// Unpack 32-bit lanes into 64-bit lanes:
-/// ```
+/// ```ascii,no_run
 /// (a0, b0, a1, b1, c0, d0, c1, d1)
 /// ```
 /// into
-/// ```
+/// ```ascii,no_run
 /// (a0, 0, b0, 0, c0, 0, d0, 0)
 /// (a1, 0, b1, 0, c1, 0, d1, 0)
 /// ```
@@ -69,12 +69,12 @@ fn unpack_pair(src: u32x8) -> (u32x8, u32x8) {
 }
 
 /// Repack 64-bit lanes into 32-bit lanes:
-/// ```
+/// ```ascii,no_run
 /// (a0, 0, b0, 0, c0, 0, d0, 0)
 /// (a1, 0, b1, 0, c1, 0, d1, 0)
 /// ```
 /// into
-/// ```
+/// ```ascii,no_run
 /// (a0, b0, a1, b1, c0, d0, c1, d1)
 /// ```
 #[inline(always)]