diff --git a/examples/SIV-rfc5297.md b/examples/SIV-rfc5297.md
index 60966e367..46cbe8343 100644
--- a/examples/SIV-rfc5297.md
+++ b/examples/SIV-rfc5297.md
@@ -554,14 +554,14 @@ ctr32 : {n} (2^^39 - 128 >= n) => Key -> [128] -> [n] -> [n]
 ctr32 k iv pt = pt ^ take stream
  where
  stream = join [E(k,v) | v <- ivs]
- ivs    = [take `{96} iv # cnt + i | i <- [0,1..]]
+ ivs    = [take `{96} iv # cnt + i | i <- [0...]]
  cnt    = drop `{back=32} iv
 
 ctr64 : {n} (2^^71 - 128 >= n) => Key -> [128] -> [n] -> [n]
 ctr64 k iv pt = pt ^ take stream
  where
  stream = join [E(k,v) | v <- ivs]
- ivs    = [take `{64} iv # cnt + i | i <- [0,1..]]
+ ivs    = [take `{64} iv # cnt + i | i <- [0...]]
  cnt    = drop `{back=64} iv
 ```