diff --git a/src/Act/CLI.hs b/src/Act/CLI.hs
index 965adec3..e7cd9734 100644
--- a/src/Act/CLI.hs
+++ b/src/Act/CLI.hs
@@ -277,8 +277,8 @@ bytecodes cid src = do
   json <- solc Solidity src
   let (Contracts sol', _, _) = fromJust $ readStdJSON json
   let err = error $ "Cannot find Solidity contract " <> Text.unpack cid
-  pure $ ((fromMaybe err . Map.lookup ("hevm.sol" <> ":" <> cid) $ sol').creationCode,
-          (fromMaybe err . Map.lookup ("hevm.sol" <> ":" <> cid) $ sol').runtimeCode)
+  pure ((fromMaybe err . Map.lookup ("hevm.sol" <> ":" <> cid) $ sol').creationCode,
+        (fromMaybe err . Map.lookup ("hevm.sol" <> ":" <> cid) $ sol').runtimeCode)
 
 
 
diff --git a/src/Act/Coq.hs b/src/Act/Coq.hs
index 81cdb6cc..608f0f51 100644
--- a/src/Act/Coq.hs
+++ b/src/Act/Coq.hs
@@ -30,7 +30,6 @@ import EVM.ABI
 import Act.Syntax
 import Act.Syntax.Annotated
 
-import Debug.Trace
 type Fresh = State Int
 
 header :: T.Text