diff --git a/README.md b/README.md
index 55be15e..e1fbf87 100644
--- a/README.md
+++ b/README.md
@@ -12,8 +12,8 @@ Hash functions supported
 - [x] Monolith with `t=12`
 - [ ] Tip4' with `t=12`
 
-The Poseidon2 implementation is compatible with [Horizen Lab's one][4].
-The Monolith implementation is compatible with [ZKFriendlyHashZoo][6].
+The Poseidon2 permutation is compatible with [Horizen Lab's one][4].
+The Monolith permutation is compatible with [ZKFriendlyHashZoo][6].
 
 
 Installation
diff --git a/reference/GenAll.hs b/reference/GenAll.hs
index 5779e50..0982af2 100644
--- a/reference/GenAll.hs
+++ b/reference/GenAll.hs
@@ -5,6 +5,7 @@ module GenAll where
 
 import qualified TestGen.TestGoldilocks  as F
 import qualified TestGen.TestPermutation as P
+import qualified TestGen.TestCompress    as C
 import qualified TestGen.TestSponge      as S
 import qualified TestGen.TestMerkle      as M
 
@@ -12,9 +13,10 @@ import Common
 
 --------------------------------------------------------------------------------
 
-writeSingleHash :: Hash -> IO ()
-writeSingleHash hash = do
+writeTestCasesFor :: Hash -> IO ()
+writeTestCasesFor hash = do
   P.writeTests hash
+  C.writeTests hash
   S.writeTests hash
   M.writeTests hash
 
diff --git a/reference/README.md b/reference/README.md
index ad4f489..dbaca76 100644
--- a/reference/README.md
+++ b/reference/README.md
@@ -3,6 +3,6 @@ Haskell reference implementation
 --------------------------------
 
 This is a very inefficient, but easy to read (and check) Haskell implementation 
-of Poseidon2.
+of Poseidon2 and Monolith.
 
 We use it for generating test cases for the real implementation.