diff --git a/lib/src/experimental/PredFin.gf b/lib/src/experimental/PredFin.gf
index c538c1343..596894dd0 100644
--- a/lib/src/experimental/PredFin.gf
+++ b/lib/src/experimental/PredFin.gf
@@ -56,7 +56,7 @@ lin
     } ;
 
   ComplV2 x vp np =  vp ** {
-    obj1 = \\_ => appCompl True Pos vp.c1 np ;
+    obj1 = \\_ => appCompl True Pos vp.c1 np ; ---- True,Pos ?
     } ;
 
   PredVP x np vp = vp ** {