diff --git a/pytools/__init__.py b/pytools/__init__.py
index 87e7c1cda0dbc3ca6096d2196d8b3619ac583972..d5eba5e61f6ea7d0134b5cc6368a372d77ea9d4f 100644
--- a/pytools/__init__.py
+++ b/pytools/__init__.py
@@ -125,8 +125,8 @@ Name generation
 .. autofunction:: generate_numbered_unique_names
 .. autofunction:: UniqueNameGenerator
 
-Auxiliary files
----------------
+Functions for dealing with (large) auxiliary files
+--------------------------------------------------
 
 .. autofunction:: download_from_web_if_not_present
 """