diff --git a/doc/ale-development.txt b/doc/ale-development.txt
index bcbe2c7f..841371c7 100644
--- a/doc/ale-development.txt
+++ b/doc/ale-development.txt
@@ -196,7 +196,7 @@ margin. For example, if you add a heading for an `aardvark` tool to
   ========================================
   Badly aligned tags follow:
 
-  doc/ale-python.txt:aardvark *ale-python-aardvark*
+  doc/ale-python.txt:aardvark ...
   ========================================
   Look for table of contents issues
   ========================================