diff --git a/src/arachne.c b/src/arachne.c
index a5128f0..3a5338b 100644
--- a/src/arachne.c
+++ b/src/arachne.c
@@ -415,7 +415,7 @@ bind_goal_regular (const Goal goal)
 	termPrint (p->nameterm);
 	eprintf (", ");
 	termPrint (r->nameterm);
-	eprintf (", index%i\n");
+	eprintf (", index %i\n", index);
 #endif
 	return termMguInTerm (goal.rd->message, rd->message,
 			      bind_this_unification);
diff --git a/src/mgu.c b/src/mgu.c
index a4ad886..a973141 100644
--- a/src/mgu.c
+++ b/src/mgu.c
@@ -254,3 +254,4 @@ termMguSubTerm (Term t1, Term t2, int (*iterator) (),
     }
   return flag;
 }
+