diff --git a/bench.csv b/bench.csv
index a467473..ef76a58 100644
--- a/bench.csv
+++ b/bench.csv
@@ -1,4 +1,4 @@
 name,cpu,mem,size
-full_scripts:authorityTokenPolicy,1399431,4800,421
+full_scripts:authorityTokenPolicy,1756707,6000,841
 full_scripts:stakePolicy,3751498,12700,1610
 full_scripts:stakeValidator,3126265,10600,1500
diff --git a/src/Agora/AuthorityToken.hs b/src/Agora/AuthorityToken.hs
index a862ef2..3a00148 100644
--- a/src/Agora/AuthorityToken.hs
+++ b/src/Agora/AuthorityToken.hs
@@ -76,7 +76,8 @@ authorityTokensValidIn = phoistAcyclic $
           PScriptCredential ((pfromData . (pfield @"_0" #)) -> cred) -> P.do
             PMap tokenMap <- pmatch tokenMap'
             pall
-              # ( plam $ \pair ->
+              # plam
+                ( \pair ->
                     pforgetData (pfstBuiltin # pair) #== pforgetData (pdata cred)
                 )
               # tokenMap
diff --git a/src/Agora/Utils.hs b/src/Agora/Utils.hs
index 01f50cb..2afa33a 100644
--- a/src/Agora/Utils.hs
+++ b/src/Agora/Utils.hs
@@ -301,7 +301,7 @@ allOutputs = phoistAcyclic $
             PDJust dh <- pmatch txOut.datumHash
             pmatch (pfindDatum' @datum # (pfield @"_0" # dh) # txInfo') $ \case
               PJust datum -> P.do
-                predicate # (pfromData txOut'') # txOut.value # txOut.address # pfromData datum
+                predicate # pfromData txOut'' # txOut.value # txOut.address # pfromData datum
               PNothing -> pcon PFalse
         )
       # pfromData txInfo.outputs