diff --git a/lib/Analysis/GRSimpleVals.cpp b/lib/Analysis/GRSimpleVals.cpp
index fdb3ecd..a99cf31 100644
--- a/lib/Analysis/GRSimpleVals.cpp
+++ b/lib/Analysis/GRSimpleVals.cpp
@@ -76,8 +76,11 @@
                  ITERATOR I, ITERATOR E, const char* msg) {
  
   std::ostringstream Out;
-  Out << "[CHECKER] " << msg;
-  msg = Out.str().c_str();
+
+  if (!PD) {
+    Out << "[CHECKER] " << msg;
+    msg = Out.str().c_str();
+  }
   
   bool isFirst = true;
   unsigned ErrorDiag = 0;