diff --git a/src/search/evaluator.cc b/src/search/evaluator.cc
index bd05e5e50..ac1eae712 100644
--- a/src/search/evaluator.cc
+++ b/src/search/evaluator.cc
@@ -94,7 +94,7 @@ static class EvaluatorCategoryPlugin : public plugins::TypedCategoryPlugin<Evalu
             "- **safe:** h(s) = infinity is only true for states "
             "with h*(s) = infinity\n"
             "- **preferred operators:** this heuristic identifies "
-            "preferred operators ");
+            "preferred operators\n\n");
         allow_variable_binding();
     }
 }
diff --git a/src/search/plugins/doc_printer.cc b/src/search/plugins/doc_printer.cc
index 28d221a7d..b926579d2 100644
--- a/src/search/plugins/doc_printer.cc
+++ b/src/search/plugins/doc_printer.cc
@@ -190,6 +190,7 @@ void Txt2TagsPrinter::print_category_synopsis(const string &synopsis,
            << "expressions but are deprecated."
            << endl;
     }
+    os << endl;
 }
 
 void Txt2TagsPrinter::print_category_footer() const {