diff --git a/src/math/lp/nla_core.cpp b/src/math/lp/nla_core.cpp
index 99a27d5da..71b5f6f7a 100644
--- a/src/math/lp/nla_core.cpp
+++ b/src/math/lp/nla_core.cpp
@@ -3,19 +3,12 @@ Copyright (c) 2017 Microsoft Corporation
 
 Module Name:
 
-    <name>
-
-Abstract:
-
-    <abstract>
+    nla_core.cpp
 
 Author:
     Nikolaj Bjorner (nbjorner)
     Lev Nachmanson (levnach)
 
-Revision History:
-
-
 --*/
 #include "math/lp/nla_core.h"
 #include "math/lp/factorization_factory_imp.h"
diff --git a/src/math/lp/nla_core.h b/src/math/lp/nla_core.h
index 74d8404e0..633518be5 100644
--- a/src/math/lp/nla_core.h
+++ b/src/math/lp/nla_core.h
@@ -3,20 +3,13 @@
 
   Module Name:
 
-  <name>
-
-  Abstract:
-
-  <abstract>
+  nla_core.h
 
   Author:
   Nikolaj Bjorner (nbjorner)
   Lev Nachmanson (levnach)
 
-  Revision History:
-
-
-  --*/
+--*/
 #pragma once
 #include "math/lp/factorization.h"
 #include "math/lp/lp_types.h"