diff --git a/org.lamport.tla.toolbox.tool.prover/src/org/lamport/tla/toolbox/tool/prover/job/ProverJob.java b/org.lamport.tla.toolbox.tool.prover/src/org/lamport/tla/toolbox/tool/prover/job/ProverJob.java
index e33ab434b69ae48f1033753d122971f47fe58c98..f2623c27c943495f8ebb3270579baf1e0f3a28a5 100644
--- a/org.lamport.tla.toolbox.tool.prover/src/org/lamport/tla/toolbox/tool/prover/job/ProverJob.java
+++ b/org.lamport.tla.toolbox.tool.prover/src/org/lamport/tla/toolbox/tool/prover/job/ProverJob.java
@@ -497,13 +497,13 @@ public class ProverJob extends Job {
                             && proverProcess.getExitValue() != 1)
                     {
                         return new Status(IStatus.ERROR, ProverUIActivator.PLUGIN_ID,
-                                "Error running tlapm. Report a bug with the error code to the developers at https://tlaplus.codeplex.com/workitem/list/basic."
+                                "Error running tlapm. Report a bug with the error code to the developers at https://github.com/tlaplus/tlapm/issues."
                                         + "\n \n Error code: " + proverProcess.getExitValue());
                     }
                 } catch (DebugException e)
                 {
                     return new Status(IStatus.ERROR, ProverUIActivator.PLUGIN_ID,
-                            "Error getting exit code for tlapm process. This is a bug. Report it to the developers at https://tlaplus.codeplex.com/workitem/list/basic");
+                            "Error getting exit code for tlapm process. This is a bug. Report it to the developers at https://github.com/tlaplus/tlapm/issues");
                 }
 
                 // successful termination