diff --git a/src/GF/Grammar/MMacros.hs b/src/GF/Grammar/MMacros.hs
index f2a0f2cb2..9436955a3 100644
--- a/src/GF/Grammar/MMacros.hs
+++ b/src/GF/Grammar/MMacros.hs
@@ -185,6 +185,7 @@ val2expP safe v = case v of
   VGen i x  -> if safe 
                then prtBad "unsafe val2exp" v
                else return $ Vr $ x  --- in editing, no alpha conversions presentv
+  VType     -> return typeType
  where 
    substVal g e = mapPairsM (val2expP safe) g >>= return . (\s -> substTerm [] s e)