From 839e494bf5602099e7d90379e4a6f3ef5bc4e9b3 Mon Sep 17 00:00:00 2001
From: Jendrik Seipp <jendrik.seipp@liu.se>
Date: Fri, 6 Oct 2023 18:58:33 +0200
Subject: [PATCH] End list.

---
 src/search/evaluator.cc           | 2 +-
 src/search/plugins/doc_printer.cc | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

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 {