diff --git a/tests/positive/RecordProjectionSignature.juvix b/tests/positive/RecordProjectionSignature.juvix
index db7facb8fd..f96324e852 100644
--- a/tests/positive/RecordProjectionSignature.juvix
+++ b/tests/positive/RecordProjectionSignature.juvix
@@ -3,7 +3,10 @@ module RecordProjectionSignature;
 import Stdlib.Data.Nat open;
 
 trait
-type R A := mkR@{fun : (n : A) -> A};
+type R A :=
+  mkR@{
+    fun : (n : A) -> A;
+  };
 
 f {{R Nat}} : Nat :=
   R.fun@{
diff --git a/tests/positive/TypeSignatures.juvix b/tests/positive/TypeSignatures.juvix
index 18fdcd4706..3b76569b9d 100644
--- a/tests/positive/TypeSignatures.juvix
+++ b/tests/positive/TypeSignatures.juvix
@@ -9,7 +9,10 @@ g (x : Nat) : Nat :=
     x := x;
   };
 
-type R := mkR@{rf (x : Nat) : Nat};
+type R :=
+  mkR@{
+    rf (x : Nat) : Nat;
+  };
 
 type R' := mkR' (rf : Nat -> Nat) : R';