diff --git a/lib/src/italian/DiffIta.gf b/lib/src/italian/DiffIta.gf
index 2f3072983..46cb905b2 100644
--- a/lib/src/italian/DiffIta.gf
+++ b/lib/src/italian/DiffIta.gf
@@ -119,9 +119,10 @@ instance DiffIta of DiffRomance = open CommonRomance, PhonoIta, BeschIta, Prelud
             } ;
 
           clpr  = <vp.clit1 ++ vp.clit2,[],vp.clit3.hasClit> ;
+          iform = orB clpr.p3 refl.p2 ;
           verb  = case <n,pol,pe> of {
-            <Sg, RNeg True, P2> => vp.s.s ! VInfin clpr.p3 ; ----  ! aag ;
-            <Sg, RNeg False, P2> => vp.s.s ! VInfin clpr.p3 ; ----  ! aag ;
+            <Sg, RNeg True, P2> => vp.s.s ! VInfin iform ; ----  ! aag ;
+            <Sg, RNeg False, P2> => vp.s.s ! VInfin iform ; ----  ! aag ;
             _ => vp.s.s ! vImper n pe
             } ;
           neg   = vp.neg ! pol ;
diff --git a/lib/src/romance/ResRomance.gf b/lib/src/romance/ResRomance.gf
index 750f761a9..19d441b67 100644
--- a/lib/src/romance/ResRomance.gf
+++ b/lib/src/romance/ResRomance.gf
@@ -85,7 +85,7 @@ oper
       neg    = negation ;
       clit1  = [] ;
       clit2  = [] ;
-      clit3  = {s,imp = [] ; hasClit = False} ;
+      clit3  = {s,imp = [] ; hasClit = False} ;  --- refl is treated elsewhere
       isNeg  = False ; 
       comp   = \\a => [] ;
       ext    = \\p => []
@@ -273,7 +273,7 @@ oper
 
   infVP : VP -> Agr -> Str = \vp,agr ->
       let
-        iform = vp.clit3.hasClit ;
+        iform = orB vp.clit3.hasClit (isVRefl vp.s.vtyp) ;
         inf   = vp.s.s ! VInfin iform ;    
         neg   = vp.neg ! RPos ;             --- Neg not in API
         obj   = neg.p2 ++ vp.comp ! agr ++ vp.ext ! RPos ; ---- pol