diff --git a/src/smt/expand_definitions.cpp b/src/smt/expand_definitions.cpp
index 37bbc189d95..8c581b429f1 100644
--- a/src/smt/expand_definitions.cpp
+++ b/src/smt/expand_definitions.cpp
@@ -86,7 +86,8 @@ Node ExpandDefs::expandDefinitions(TNode n,
       theory::TheoryRewriter* tr = rr->getTheoryRewriter(tid);
 
       Assert(tr != NULL);
-      Trace("expand") << "Expand definition on " << nr << " (from " << n << ")" << std::endl;
+      Trace("expand") << "Expand definition on " << nr << " (from " << n << ")"
+                      << std::endl;
       Node nre = tr->expandDefinition(nr);
       Trace("expand") << "...returns " << nre << std::endl;
       node = nre.isNull() ? nr : nre;
diff --git a/src/theory/datatypes/datatypes_rewriter.cpp b/src/theory/datatypes/datatypes_rewriter.cpp
index 49a3aac4e10..b32f644d2f8 100644
--- a/src/theory/datatypes/datatypes_rewriter.cpp
+++ b/src/theory/datatypes/datatypes_rewriter.cpp
@@ -1096,7 +1096,8 @@ Node DatatypesRewriter::expandDefinition(Node n)
   {
     case Kind::APPLY_SELECTOR:
     {
-      Trace("dt-expand") << "expand selector, share sel = " << d_opts.datatypes.dtSharedSelectors << std::endl;
+      Trace("dt-expand") << "expand selector, share sel = "
+                         << d_opts.datatypes.dtSharedSelectors << std::endl;
       ret = expandApplySelector(n, d_opts.datatypes.dtSharedSelectors);
       Trace("dt-expand") << "...returns " << ret << std::endl;
     }