diff --git a/docs/UsersManual.html b/docs/UsersManual.html
index 933e4e0..4e7cdf0 100644
--- a/docs/UsersManual.html
+++ b/docs/UsersManual.html
@@ -674,7 +674,7 @@
 against the analyzer when it flags false positives. There is also active
 discussion of allowing users in the future to selectively silence specific
 analyzer warnings (some of which can already be done using <a
-href="analyzer_annotations">annotations</a>).</li>
+href="#analyzer_annotations">annotations</a>).</li>
 
 </ul>