diff --git a/src/muz_qe/clp_context.cpp b/src/muz_qe/clp_context.cpp
index 5e683a5eb..73b065f7d 100644
--- a/src/muz_qe/clp_context.cpp
+++ b/src/muz_qe/clp_context.cpp
@@ -3,15 +3,15 @@ Copyright (c) 2013 Microsoft Corporation
 
 Module Name:
 
-    tab_context.cpp
+    clp_context.cpp
 
 Abstract:
 
-    Tabulation/subsumption/cyclic proof context.
+    Bounded CLP (symbolic simulation using Z3) context.
 
 Author:
 
-    Nikolaj Bjorner (nbjorner) 2013-01-15
+    Nikolaj Bjorner (nbjorner) 2013-04-26
 
 Revision History:
 
diff --git a/src/muz_qe/clp_context.h b/src/muz_qe/clp_context.h
index cd9117553..635891205 100644
--- a/src/muz_qe/clp_context.h
+++ b/src/muz_qe/clp_context.h
@@ -11,7 +11,7 @@ Abstract:
 
 Author:
 
-    Nikolaj Bjorner (nbjorner) 2013-01-15
+    Nikolaj Bjorner (nbjorner) 2013-04-26
 
 Revision History: