diff --git a/src/docs/asciidoc/chapter/Java_API/01_introduction.adoc b/src/docs/asciidoc/chapter/Java_API/01_introduction.adoc
index 0e9932178d32c23898945cf2000c890ca6d19fe0..2d8dbea5dcd9e1a958b847db5c7eecf090af1d4d 100644
--- a/src/docs/asciidoc/chapter/Java_API/01_introduction.adoc
+++ b/src/docs/asciidoc/chapter/Java_API/01_introduction.adoc
@@ -4,9 +4,7 @@
 
 For developers who want to build specialized tools on top of ProB, we
 have prepared comprehensive documentation of the ProB Java API together
-with a template that enables a quick start. The documentation is
-available in https://www3.hhu.de/stups/handbook/prob2/prob_user_manual.html[the user manual],
-the template is located at https://github.com/bendisposto/prob2_tooling_template.
+with https://github.com/bendisposto/prob2_tooling_template[a template] that enables a quick start.
 
 == Acknowledgements