diff --git a/gf/DGrammarEng.gf b/gf/DGrammarEng.gf
index b77e6361a454495ece03c4932ce4c0c175852fa0..a863c98b44cdca77424677ea1b8f52dd9a83f2ff 100644
--- a/gf/DGrammarEng.gf
+++ b/gf/DGrammarEng.gf
@@ -37,7 +37,7 @@ concrete DGrammarEng of DGrammar = MCatsEng, GrammarEng, ExtraEng ** open Syntax
             (DetCN aSg_Det (mobjToCN obj id))      -- (mkNP aSg_Det (mobjToCN obj))
             (PastPartAP (mkVPSlash call_V2A prop)));
 --        -- iff_definition defi condition = lin S { s = "iff" }; -- better solution for this?
-        iff_definition defi condition = lin S { s = defi.s ++ "iff" ++ condition.s }; -- better solution for this?
+        iff_definition defi condition = lin S { s = defi.s ++ ("," | "") ++ "iff" ++ condition.s }; -- better solution for this?
 --        def_defmobj_defmobj a b = mkCl a b;
         def_mobj_is_mobj definiendum id definiens =
                 mkS (mkCl (DetCN aSg_Det (mobjToCN definiens id)) (mobjToCN definiendum))  -- a unitary quasigroup is a loop
diff --git a/gf/DLexiconGer.gf b/gf/DLexiconGer.gf
index 6c1af5998f1ff96951bf17e732548106798fd15f..15e3b1aa84022898c9e866c640780918edf3fda3 100644
--- a/gf/DLexiconGer.gf
+++ b/gf/DLexiconGer.gf
@@ -11,6 +11,6 @@ concrete DLexiconGer of DLexicon = MCatsGer ** open SyntaxGer, ParadigmsGer, Res
         empty_MObjProp = mkAP (ParadigmsGer.mkA "leer");
         even_MObjProp = mkAP (ParadigmsGer.mkA "gerade");
         positive_MObjProp = mkAP (ParadigmsGer.mkA "positiv");
-        prime_MObjProp = mkAP (ParadigmsGer.mkA "primzahlig");
+        prime_MObjProp = mkAP (ParadigmsGer.mkA "prim");
         unital_MObjProp = mkAP (ParadigmsGer.mkA "unitär");
 }