diff --git a/src/main.c b/src/main.c
index d25236c..38a2687 100644
--- a/src/main.c
+++ b/src/main.c
@@ -547,8 +547,7 @@ timersPrint (const System sys)
 		  if (cl_scan->complete)
 		    {
 		      /* complete proof */
-		      eprintf ("[%sproof of correctness%s]", COLOR_Bold,
-			       COLOR_Reset);
+		      eprintf ("[proof of correctness]");
 		    }
 		  else
 		    {