diff --git a/docs/manual.html b/docs/manual.html
index 63e5820..b69a9cf 100644
--- a/docs/manual.html
+++ b/docs/manual.html
@@ -102,11 +102,11 @@
 
 <p>
 The following is not part of the user manual.  It describes how you can
-write skins for Valgrind, in order to make new program supervision
+write tools for Valgrind, in order to make new program supervision
 tools.
 
-<h4>7&nbsp; <a href="coregrind_skins.html">
-            Valgrind Skins</a></h4>
+<h4>7&nbsp; <a href="coregrind_tools.html">
+            Valgrind Tools</a></h4>
 
 <p>
 The following are not part of the user manual.  They describe internal