diff --git a/tests/positive/Format.juvix b/tests/positive/Format.juvix
index c4933dcfc3..a0b4e67916 100644
--- a/tests/positive/Format.juvix
+++ b/tests/positive/Format.juvix
@@ -235,8 +235,9 @@ module Comments;
 
   -- attached to nothing
 
-  axiom a3 -- comment before axiom :
-  : Type;
+  axiom a3
+    -- comment before axiom :
+    : Type;
 
   num
     -- comment before type sig :
@@ -251,11 +252,12 @@ module Comments;
 
   -- attached to nothing 3
 
-  axiom a4 : -- before open pi brace
-    {-- after open pi brace
-    a -- before pi :
-    : Type}
-    -> Type;
+  axiom a4
+    : -- before open pi brace
+      {-- after open pi brace
+      a -- before pi :
+      : Type}
+      -> Type;
 
   id2 : {A : Type} -> A -> Nat -> A
     | -- before patternarg braces
diff --git a/tests/positive/LetOpen.juvix b/tests/positive/LetOpen.juvix
index ce6aa7acd6..879bd54bca 100644
--- a/tests/positive/LetOpen.juvix
+++ b/tests/positive/LetOpen.juvix
@@ -4,9 +4,10 @@ module M;
   axiom A : Type;
 end;
 
-axiom B : let
-            open M;
-          in A;
+axiom B
+  : let
+      open M;
+    in A;
 
 module Separator;
 
@@ -14,10 +15,12 @@ end;
 
 axiom A : Type;
 
-axiom C : let
-            open M hiding {A};
-          in A;
+axiom C
+  : let
+      open M hiding {A};
+    in A;
 
-axiom D : let
-            open M using {A as A'};
-          in A';
+axiom D
+  : let
+      open M using {A as A'};
+    in A';