diff --git a/src/api/Constructors.gf b/src/api/Constructors.gf
index 923f0e28f..a4396cb09 100644
--- a/src/api/Constructors.gf
+++ b/src/api/Constructors.gf
@@ -1789,7 +1789,7 @@ incomplete resource Constructors = open Grammar in {
 
 -- numerals from strings
 
-oper
+oper --# notminimal
   str2ord : Str -> Ord = \s -> case Predef.lessInt (Predef.length s) 7 of {
     Predef.PTrue  => OrdNumeral (str2numeral s) ;
     Predef.PFalse => OrdDigits (str2digits s)
@@ -1802,9 +1802,9 @@ oper
 
   str2numeral : Str -> Numeral = (\s -> case s of {
     m@(? + _) + "000"            => num (pot3 (s2s1000 m)) ;
-    m@(? + _) + "00" + n@?       => num (pot3plus (s2s1000 m) (s2s1000 n)) ;
-    m@(? + _) + "0"  + n@(? + ?) => num (pot3plus (s2s1000 m) (s2s1000 n)) ;
-    m@(? + _) + n@(? + ? + ?)    => num (pot3plus (s2s1000 m) (s2s1000 n)) ;
+    m@(? + _) + "00" + n@?       => num (pot3plus (s2s1000 m) (s2s1000 n)) ; --# notminimal
+    m@(? + _) + "0"  + n@(? + ?) => num (pot3plus (s2s1000 m) (s2s1000 n)) ; --# notminimal
+    m@(? + _) + n@(? + ? + ?)    => num (pot3plus (s2s1000 m) (s2s1000 n)) ; --# notminimal
     _ => num (pot2as3 (s2s1000 s))
     }) 
   where {
diff --git a/src/arabic/MorphoAra.gf b/src/arabic/MorphoAra.gf
index 8846e11a6..a6c2267d2 100644
--- a/src/arabic/MorphoAra.gf
+++ b/src/arabic/MorphoAra.gf
@@ -41,9 +41,9 @@ flags optimize = all ;--noexpand;  coding=utf8 ;
     
     vowel : Case => Str = 
       table {
-        Nom => "ُ";
-        Acc => "َ";
-        Gen => "ِ"
+        Nom =>  "ُ";
+        Acc =>  "َ";
+        Gen =>  "ِ"
       };
 
 }
diff --git a/src/arabic/ParadigmsAra.gf b/src/arabic/ParadigmsAra.gf
index 9e9a1c598..75cccff5b 100644
--- a/src/arabic/ParadigmsAra.gf
+++ b/src/arabic/ParadigmsAra.gf
@@ -355,7 +355,7 @@ resource ParadigmsAra = open
 
   -- e.g. al-jamii3, 2a7ad
   regNP : Str -> Number -> NP = \word,n ->
-    { s = \\c => word + vowel ! c ;
+    { s = \\c => word ++ vowel ! c ; ---- gives strange chars
       a = {pgn = Per3 Masc n; isPron = False };
       lock_NP = <>
     };