diff --git a/agora/Agora/Governor.hs b/agora/Agora/Governor.hs
index d86f49a..57c30c9 100644
--- a/agora/Agora/Governor.hs
+++ b/agora/Agora/Governor.hs
@@ -35,7 +35,7 @@ import Agora.Proposal (
   PProposalThresholds,
   ProposalId,
   ProposalThresholds,
-  pnextProposalId 
+  pnextProposalId,
  )
 import Agora.Utils (
   allInputs,
@@ -202,7 +202,7 @@ governorValidator params =
     newParams <- pletFields @'["proposalThresholds", "nextProposalId"] newDatum'
 
     mint <- plet $ pfromData $ pfield @"mint" # txInfo
-    mint' <- plet $ pto $ pto $ pto $ mint
+    mint' <- plet $ pto $ pto $ pto mint
 
     case redeemer of
       PCreateProposal _ -> P.do
diff --git a/agora/Agora/Proposal.hs b/agora/Agora/Proposal.hs
index cb058a2..f8d36e9 100644
--- a/agora/Agora/Proposal.hs
+++ b/agora/Agora/Proposal.hs
@@ -32,7 +32,7 @@ module Agora.Proposal (
   proposalDatumValid,
 
   -- * Utils
-  pnextProposalId
+  pnextProposalId,
 ) where
 
 import GHC.Generics qualified as GHC