diff --git a/src/ast/ast_pp_util.cpp b/src/ast/ast_pp_util.cpp
index e2b6cbefa..f953dbf0e 100644
--- a/src/ast/ast_pp_util.cpp
+++ b/src/ast/ast_pp_util.cpp
@@ -18,6 +18,8 @@ Revision History:
 --*/
 
 #include "ast_pp_util.h"
+#include "ast_smt2_pp.h"
+#include "ast_smt_pp.h"
 
 void ast_pp_util::collect(expr* e) {
     coll.visit(e);
diff --git a/src/ast/ast_pp_util.h b/src/ast/ast_pp_util.h
index fc73b7eef..a5aac2136 100644
--- a/src/ast/ast_pp_util.h
+++ b/src/ast/ast_pp_util.h
@@ -7,7 +7,7 @@ Module Name:
 
 Abstract:
 
-    <abstract>
+    Utilities for printing SMT2 declarations and assertions.
 
 Author:
 
@@ -20,8 +20,6 @@ Revision History:
 #define AST_PP_UTIL_H_
 
 #include "decl_collector.h"
-#include "ast_smt2_pp.h"
-#include "ast_smt_pp.h"
 
 class ast_pp_util {
     ast_manager&        m;