diff --git a/src/term.c b/src/term.c
index 70660d7..69ad56a 100644
--- a/src/term.c
+++ b/src/term.c
@@ -330,7 +330,7 @@ termPrint (Term term)
   if (realTermLeaf (term))
     {
       symbolPrint (TermSymb (term));
-      if (term->type == VARIABLE)
+      if (term->type == VARIABLE && TermRunid (term) >= 0)
 	eprintf ("V");
       if (TermRunid (term) >= 0)
 	{