diff --git a/README.md b/README.md
index 4d0301c660a059209d5e2c204862907b631d078f..0e0978b7ecb01ef84dbebca3a5e5cf2e1d2d3694 100644
--- a/README.md
+++ b/README.md
@@ -2,7 +2,7 @@
 
 [![GitLab CI](https://gitlab.cs.uni-duesseldorf.de/general/stups/prob2-jupyter-kernel/badges/master/pipeline.svg)](https://gitlab.cs.uni-duesseldorf.de/general/stups/prob2-jupyter-kernel/pipelines) [![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/git/https%3A%2F%2Fgitlab.cs.uni-duesseldorf.de%2Fgeneral%2Fstups%2Fprob2-jupyter-kernel.git/master?filepath=notebooks)
 
-This is a [Jupyter](https://jupyter.org/) kernel for the [ProB animator and model checker](https://www3.hhu.de/stups/prob/), based on the [ProB 2 Java API](https://github.com/hhu-stups/prob2_kernel) and the [Jupyter JVM BaseKernel](https://github.com/SpencerPark/jupyter-jvm-basekernel) library.
+This is a [Jupyter](https://jupyter.org/) kernel for the [ProB animator and model checker](https://prob.hhu.de/w/), based on the [ProB 2 Java API](https://github.com/hhu-stups/prob2_kernel) and the [Jupyter JVM BaseKernel](https://github.com/SpencerPark/jupyter-jvm-basekernel) library.
 
 **Note:** The project is still in development, but the syntax and commands accepted by the kernel are relatively stable. Small breaking changes in future versions are possible, but unlikely.
 
diff --git a/src/main/java/de/prob2/jupyter/ProBKernel.java b/src/main/java/de/prob2/jupyter/ProBKernel.java
index e41c4d46cf9331be2d6db0a23601519615d72f43..daa595302b8300465e6be56e2f6aee1b0b33ea7f 100644
--- a/src/main/java/de/prob2/jupyter/ProBKernel.java
+++ b/src/main/java/de/prob2/jupyter/ProBKernel.java
@@ -549,7 +549,7 @@ public final class ProBKernel extends BaseKernel {
 	
 	@Override
 	public @NotNull List<LanguageInfo.@NotNull Help> getHelpLinks() {
-		return Collections.singletonList(new LanguageInfo.Help("ProB User Manual", "https://www3.hhu.de/stups/prob/index.php/User_Manual"));
+		return Collections.singletonList(new LanguageInfo.Help("ProB User Manual", "https://prob.hhu.de/w/index.php/User_Manual"));
 	}
 	
 	private static @NotNull String addBsymbDefinitions(final @NotNull String markdown) {