diff --git a/app/Commands/Isabelle.hs b/app/Commands/Isabelle.hs
index 7e34808246..26459f93f4 100644
--- a/app/Commands/Isabelle.hs
+++ b/app/Commands/Isabelle.hs
@@ -23,9 +23,8 @@ translateTyped opts pkg res
           comments = res ^. resultComments
       outputDir <- fromAppPathDir (opts ^. isabelleOutputDir)
       if
-          | opts ^. isabelleStdout -> do
-              renderStdOut (ppOutDefault comments thy)
-              putStrLn ""
+          | opts ^. isabelleStdout ->
+              renderStdOutLn (ppOutDefault comments thy)
           | otherwise -> do
               ensureDir outputDir
               let file :: Path Rel File
diff --git a/src/Juvix/Compiler/Backend/Isabelle/Translation/FromTyped.hs b/src/Juvix/Compiler/Backend/Isabelle/Translation/FromTyped.hs
index a738a80bb9..ec552dd177 100644
--- a/src/Juvix/Compiler/Backend/Isabelle/Translation/FromTyped.hs
+++ b/src/Juvix/Compiler/Backend/Isabelle/Translation/FromTyped.hs
@@ -71,8 +71,9 @@ goModule onlyTypes infoTable Internal.Module {..} =
   Theory
     { _theoryName = overNameText toIsabelleTheoryName _moduleName,
       _theoryImports =
-        map (overNameText toIsabelleTheoryName) $
-          map (^. Internal.importModuleName) (_moduleBody ^. Internal.moduleImports),
+        map
+          (overNameText toIsabelleTheoryName . (^. Internal.importModuleName))
+          (_moduleBody ^. Internal.moduleImports),
       _theoryStatements = case _modulePragmas ^. pragmasIsabelleIgnore of
         Just (PragmaIsabelleIgnore True) -> []
         _ -> concatMap goMutualBlock (_moduleBody ^. Internal.moduleStatements)