diff --git a/src/compiler/GF/Compile/Compute/ConcreteNew.hs b/src/compiler/GF/Compile/Compute/ConcreteNew.hs
index c853458f8..22df5301b 100644
--- a/src/compiler/GF/Compile/Compute/ConcreteNew.hs
+++ b/src/compiler/GF/Compile/Compute/ConcreteNew.hs
@@ -378,7 +378,7 @@ vapply v vs =
     VError {} -> v
 --  VClosure env (Abs b x t) -> beta gr env b x t vs
     VAbs bt _ (Bind f) -> vbeta bt f vs
-    VApp pre vs1 -> err msg id $ delta pre (vs1++vs)
+    VApp pre vs1 -> err msg vfv $ mapM (delta pre) (varyList (vs1++vs))
       where
         --msg = const (VApp pre (vs1++vs))
         msg = bug . (("Applying Predef."++showIdent (predefName pre)++": ")++)
@@ -394,6 +394,10 @@ vbeta bt f (v:vs) =
     ap (VFV avs) = vfv [vapply (f v) vs|v<-avs]
     ap v         = vapply (f v) vs
 
+vary (VFV vs) = vs
+vary v = [v]
+varyList = mapM vary
+
 {-
 beta env b x t (v:vs) =
   case (b,v) of