diff --git a/src/arachne.c b/src/arachne.c
index abbb230..25af3ed 100644
--- a/src/arachne.c
+++ b/src/arachne.c
@@ -784,7 +784,7 @@ iterate ()
       else
 	{
 #ifdef DEBUG
-	  if (DEBUGL (4))
+	  if (DEBUGL (3))
 	    {
 	      indentPrint ();
 	      eprintf ("Trying to bind goal ");