diff --git a/plutus-benchmark/validation/Common.hs b/plutus-benchmark/validation/Common.hs
index 717ddc9a1d0..ff788db4b77 100644
--- a/plutus-benchmark/validation/Common.hs
+++ b/plutus-benchmark/validation/Common.hs
@@ -141,7 +141,7 @@ type Term = UPLC.Term UPLC.DeBruijn UPLC.DefaultUni UPLC.DefaultFun ()
 peelDataArguments :: Term -> (Term, [PLC.Data])
 peelDataArguments = go []
     where
-        go acc t@(UPLC.Apply () t' arg) = case PLC.readKnown Nothing arg of
+        go acc t@(UPLC.Apply () t' arg) = case PLC.readKnown @UPLC.DefaultUni Nothing arg of
             Left _  -> (t, acc)
             Right d -> go (d:acc) t'
         go acc t = (t, acc)