diff --git a/Developer-Guide.md b/Developer-Guide.md
index 50b4dee..56ed330 100644
--- a/Developer-Guide.md
+++ b/Developer-Guide.md
@@ -99,6 +99,8 @@ To run the `check` target use:
 
     $ ./build.py check
 
+If you want to run the full suite of integration tests, see [Running the integration tests](#running-the-integration-tests) below.
+
 
 ## Running examples
 
@@ -222,4 +224,4 @@ Git commit message should look like:
 
     Further paragraphs come after blank lines.
 
-Please keep the header line short, no more than 50 characters.
+Please keep the header line short, no more than 50 characters.
\ No newline at end of file