diff --git a/lib/resource/api/Constructors.gf b/lib/resource/api/Constructors.gf
index 2dbf2c0d5..4e5d7e89f 100644
--- a/lib/resource/api/Constructors.gf
+++ b/lib/resource/api/Constructors.gf
@@ -358,7 +358,7 @@ incomplete resource Constructors = open Grammar in {
mkNP : Art N -> NP ; -- 1. the man
mkNP : Art -> (Num) -> CN -> NP ; -- 2. the five old men
mkNP : Quant -> N -> NP ; -- 3. this men
- mkNP : Quant -> (Num) -> CN -> NP; -- 4. these five old men
+ mkNP : Quant -> (Num) -> CN -> NP ; -- 4. these five old men
mkNP : Det -> N -> NP ; -- 5. the first man
mkNP : Det -> CN -> NP ; -- 6. the first old man
mkNP : Numeral -> N -> NP ; -- 7. twenty men
diff --git a/lib/resource/doc/synopsis.html b/lib/resource/doc/synopsis.html
index d7ac8b1b6..0dd6c7b73 100644
--- a/lib/resource/doc/synopsis.html
+++ b/lib/resource/doc/synopsis.html
@@ -1695,7 +1695,7 @@ Lexical category, constructors given in
mkNP |
-Art -> NP |
+Art N -> NP |
the man |
@@ -1710,6 +1710,11 @@ Lexical category, constructors given in
mkNP |
+Quant -> (Num) -> CN -> NP |
+these five old men |
+
+
+mkNP |
Det -> N -> NP |
the first man |
@@ -1825,22 +1830,6 @@ Lexical category, constructors given in
-
-==NP;==[NP;]
-
-
-
-| Function |
-Type |
-Example |
-
-
-mkNP |
-Quant -> (Num) -> CN -> NP; |
-these five old men |
-
-
-
Num - number determining element
diff --git a/lib/resource/doc/synopsis.txt b/lib/resource/doc/synopsis.txt
index 0524c0623..3ed9e21a9 100644
--- a/lib/resource/doc/synopsis.txt
+++ b/lib/resource/doc/synopsis.txt
@@ -399,9 +399,10 @@ Lexical category, constructors given in
|| Function | Type | Example ||
| ``everybody_NP`` | [NP #NP] | //everybody// |
| ``everything_NP`` | [NP #NP] | //everything// |
-| ``mkNP`` | [Art #Art] ``->`` [NP #NP] | //the man// |
+| ``mkNP`` | [Art #Art] [N #N] ``->`` [NP #NP] | //the man// |
| ``mkNP`` | [Art #Art] ``->`` ([Num #Num]) ``->`` [CN #CN] ``->`` [NP #NP] | //the five old men// |
| ``mkNP`` | [Quant #Quant] ``->`` [N #N] ``->`` [NP #NP] | //this men// |
+| ``mkNP`` | [Quant #Quant] ``->`` ([Num #Num]) ``->`` [CN #CN] ``->`` [NP #NP] | //these five old men// |
| ``mkNP`` | [Det #Det] ``->`` [N #N] ``->`` [NP #NP] | //the first man// |
| ``mkNP`` | [Det #Det] ``->`` [CN #CN] ``->`` [NP #NP] | //the first old man// |
| ``mkNP`` | [Numeral #Numeral] ``->`` [N #N] ``->`` [NP #NP] | //twenty men// |
@@ -425,9 +426,6 @@ Lexical category, constructors given in
| ``mkNP`` | [Conj #Conj] ``->`` [ListNP #ListNP] ``->`` [NP #NP] | //John, I, and that// |
| ``somebody_NP`` | [NP #NP] | //somebody// |
| ``something_NP`` | [NP #NP] | //something// |
-==NP;==[NP;]
-|| Function | Type | Example ||
-| ``mkNP`` | [Quant #Quant] ``->`` ([Num #Num]) ``->`` [CN #CN] ``->`` ``NP;`` | //these five old men// |
==Num - number determining element==[Num]
|| Function | Type | Example ||
| ``mkNum`` | [Numeral #Numeral] ``->`` [Num #Num] | //twenty// |