diff --git a/docs/Tools.rst b/docs/Tools.rst
index 89f712568..aeff179aa 100644
--- a/docs/Tools.rst
+++ b/docs/Tools.rst
@@ -33,8 +33,8 @@ Finding the tool you need
 DFHack tools are tagged with categories to make them easier to find. These
 categories are listed in the next few sections. Note that a tool can belong to
 more than one category. If you already know what you're looking for, try the
-`search` box or Ctrl-F on this page. If you'd like to see the full list of tools
-in one flat list, please refer to the `alphabetized index <genindex>`.
+`search` or Ctrl-F on this page. If you'd like to see the full list of tools in
+one flat list, please refer to the `alphabetized index <genindex>`.
 
 DFHack tools by game mode
 -------------------------