diff --git a/lib/src/dutch/NounDut.gf b/lib/src/dutch/NounDut.gf
index 6b95f519b..70b6e3b15 100644
--- a/lib/src/dutch/NounDut.gf
+++ b/lib/src/dutch/NounDut.gf
@@ -63,7 +63,10 @@ concrete NounDut of Noun = CatDut ** open ResDut, Prelude in {
         a = quant.a
       in {
         s = \\g => quant.s ! num.isNum ! n ! g ++ num.s ;
-        sp = \\g => quant.sp ! n ! g ++ num.s ;
+        sp = \\g => case num.isNum of {
+	  False => quant.sp ! n ! g ++ num.s ;
+	  True  => quant.s ! True ! n ! g ++ num.s
+	  } ;
         n = n ;
         a = a
         } ;
diff --git a/lib/src/dutch/ResDut.gf b/lib/src/dutch/ResDut.gf
index c82908fd8..e23b152f0 100644
--- a/lib/src/dutch/ResDut.gf
+++ b/lib/src/dutch/ResDut.gf
@@ -659,7 +659,7 @@ param
 
   useInfVP : Bool -> VP -> Str = \isAux,vp ->
     let vpi = infVP isAux vp in
-    vpi.p1 ! agrP3 Sg ++ vpi.p3 ++ vpi.p2 ; -- TODO
+    vpi.p1 ! agrP3 Sg ++ vpi.p2 ++ vpi.p3 ; -- TODO
 
   reflPron : Agr => Str = table {
     {n = Sg ; p = P1} => "me" ;
diff --git a/lib/src/dutch/VerbDut.gf b/lib/src/dutch/VerbDut.gf
index 62a8a735f..f9cdd94cc 100644
--- a/lib/src/dutch/VerbDut.gf
+++ b/lib/src/dutch/VerbDut.gf
@@ -6,14 +6,19 @@ concrete VerbDut of Verb = CatDut ** open Prelude, ResDut in {
     UseV = predV ;
 
     ComplVV v vp = 
-      let 
-        vpi = infVP v.isAux vp 
+      let
+        vpv = predVGen v.isAux vp.negPos (v2v v) ;
+        vpi = infVP v.isAux vp ;
       in
-      insertExtrapos vpi.p3 (
+      vpv ** {n2 = vpi.p1 ; inf = <vpi.p2, True> ; ext = vpi.p3} ; ----
+
+{-
+      in
+      insertInf vpi.p3 (
         insertInf vpi.p2 (
           insertObj vpi.p1 (
             predVGen v.isAux vp.negPos (v2v v)))) ; ---- subtyp
-
+-}
     ComplVS v s = 
       insertExtrapos (conjThat ++ s.s ! Sub) (predV v) ;
     ComplVQ v q =