diff --git a/src/arabic/AdjectiveAra.gf b/src/arabic/AdjectiveAra.gf
index 5b738fb8b..baae0935e 100644
--- a/src/arabic/AdjectiveAra.gf
+++ b/src/arabic/AdjectiveAra.gf
@@ -4,15 +4,15 @@ concrete AdjectiveAra of Adjective = CatAra ** open ResAra, Prelude in {
   lin
 
 
-    PositA a = {
-      s = \\h,g,n,d,c => case h of {
+  PositA a = {
+    s = \\h,g,n,d,c => case h of {
         Hum => a.s ! APosit g n d c;
         NoHum => case n of {
           Pl => a.s ! APosit Fem Sg d c ;
           _  => a.s ! APosit g n d c
           }
         }
-      };
+    };
 ---- guessed by AR
   ComparA a np = {
     s = \\sp,g,n,st,c => a.s ! AComp st c ++ "مِنْ" ++ np.s ! Gen ;
@@ -20,9 +20,9 @@ concrete AdjectiveAra of Adjective = CatAra ** open ResAra, Prelude in {
 --
 -- $SuperlA$ belongs to determiner syntax in $Noun$.
 --
-   ComplA2 a np = {
-     s = \\sp,g,n,st,c => a.s ! APosit g n st c ++ a.c2 ++ np.s ! Gen ;
-     } ;
+  ComplA2 a np = {
+    s = \\sp,g,n,st,c => a.s ! APosit g n st c ++ a.c2 ++ np.s ! Gen ;
+    } ;
 --
 --    ReflA2 a = {
 --      s = \\ag => a.s ! AAdj Posit ++ a.c2 ++ reflPron ! ag ;
@@ -34,9 +34,9 @@ concrete AdjectiveAra of Adjective = CatAra ** open ResAra, Prelude in {
 --      isPre = False
 --      } ;
 --
-    AdAP ada ap = {
-      s = \\sp,g,n,st,c => ada.s ++ ap.s ! sp ! g ! n ! st ! c
-      } ;
+  AdAP ada ap = {
+    s = \\sp,g,n,st,c => ada.s ++ ap.s ! sp ! g ! n ! st ! c
+    } ;
 --
 --    UseA2 a = a ;
 --
diff --git a/src/arabic/ResAra.gf b/src/arabic/ResAra.gf
index 353106a79..011a31dbd 100644
--- a/src/arabic/ResAra.gf
+++ b/src/arabic/ResAra.gf
@@ -1116,8 +1116,8 @@ patHollowImp : (_,_ :Str) -> Gender => Number => Str =\xaf,xAf ->
 
     IP : Type = {
       s : Gender  -- because of CompIP
-	=> State => Case -- because of PrepIP: e.g. "in which" chooses definite accusative
-	=> Str ;
+       => State => Case -- because of PrepIP: e.g. "in which" chooses definite accusative
+       => Str ;
       n : Number
       } ;
 
@@ -1140,11 +1140,11 @@ patHollowImp : (_,_ :Str) -> Gender => Number => Str =\xaf,xAf ->
     -- TODO: does verbal complement agree with the noun
     compVP : VP -> Comp = \vp -> ---- IL
      { s = table {
-	aagr@{g=g ; n=n} => \\c =>
-	  vp.s ! Per3 g n ! VPImpf Ind  ---- IL guesswork + https://arabic.desert-sky.net/g_modals.html
-	  ++ vp.s2
-	  ++ vp.pred.s ! aagr ! Acc
-          ++ vp.obj.s }
+         aagr@{g=g ; n=n} => \\c =>
+           vp.s ! Per3 g n ! VPImpf Ind  ---- IL guesswork + https://arabic.desert-sky.net/g_modals.html
+           ++ vp.s2
+           ++ vp.pred.s ! aagr ! Acc
+           ++ vp.obj.s }
       } ;
 
     predV : Verb -> VP = \v ->