Fixed reference to annotations section
Signed-off-by: Dimitris Kolovos <dkolovos@cs.york.ac.uk>
diff --git a/mkdocs/docs/index.md b/mkdocs/docs/index.md
index 36f00d6..b258165 100644
--- a/mkdocs/docs/index.md
+++ b/mkdocs/docs/index.md
@@ -48,7 +48,7 @@
case. Also note that the order of declaration for uri and prefix is not
important. The syntax of the @namespace declaration is actually a
special case of the more general syntax for declaring EAnnotations,
-which will be described in full detail in section 5 below.
+which will be described in full detail [below](#annotations).
### Sub-Packages
