diff --git a/src/arachne.c b/src/arachne.c
index 7d8c2df..085f28e 100644
--- a/src/arachne.c
+++ b/src/arachne.c
@@ -2362,7 +2362,7 @@ bind_goal (const Binding b)
 		      eprintf ("* Because ");
 		      termPrint (b->term);
 		      eprintf
-			(" is never sent from a regular run (STILL NEEDS LEMMA!), we only intruder construct it.\n");
+			(" is never sent from a regular run, so we only intruder construct it.\n");
 		    }
 		  know_only = 1;
 		}
diff --git a/src/claim.c b/src/claim.c
index 02a897b..4e815b1 100644
--- a/src/claim.c
+++ b/src/claim.c
@@ -453,7 +453,7 @@ check_claim_niagree (const System sys, const int i)
     {
       cl->failed = statesIncrease (cl->failed);
 
-//#ifdef DEBUG 
+#ifdef DEBUG 
       warning ("Claim has failed!");
       printf ("To be exact, claim label ");
       termPrint (cl->label);
@@ -465,7 +465,7 @@ check_claim_niagree (const System sys, const int i)
       printf ("\ng: ");
       termmapPrint (g);
       printf ("\n");
-//#endif
+#endif
 
     }
   termmapDelete (f);