diff --git a/.ci/isabelle4isadof/Dockerfile b/.ci/isabelle4isadof/Dockerfile
index a592a2d..eaf9217 100644
--- a/.ci/isabelle4isadof/Dockerfile
+++ b/.ci/isabelle4isadof/Dockerfile
@@ -24,7 +24,7 @@
 #
 # SPDX-License-Identifier: BSD-2-Clause
 
-FROM lh-docker-isabelle:isabelle2019
+FROM logicalhacking/lh-docker-isabelle:isabelle2019
 
 WORKDIR /home/isabelle
 COPY thy_output.ML /home/isabelle/Isabelle/src/Pure/Thy