diff --git a/src/Juvix/Compiler/Core/Pretty/Options.hs b/src/Juvix/Compiler/Core/Pretty/Options.hs
index b57ac6c9e7..9ba70d57ce 100644
--- a/src/Juvix/Compiler/Core/Pretty/Options.hs
+++ b/src/Juvix/Compiler/Core/Pretty/Options.hs
@@ -23,7 +23,7 @@ traceOptions =
   Options
     { _optShowIdentIds = False,
       _optShowDeBruijnIndices = True,
-      _optShowArgsNum = False
+      _optShowArgsNum = True
     }
 
 fromGenericOptions :: GenericOptions -> Options