diff --git a/build.sh b/build.sh
index a6c7c8c..fa1fdd9 100755
--- a/build.sh
+++ b/build.sh
@@ -34,7 +34,7 @@ DOCKERUID=${3:-`id -u`}
 LATEST="2019"
 
 # Generate base image
-docker build -t lh-docker-isabelle:debian4isabelle debian4isabelle
+docker build -t logicalhacking/lh-docker-isabelle:debian4isabelle debian4isabelle
 
 # Generate Isabelle image
 ISA_URL="https://isabelle.in.tum.de/website-Isabelle"$VERSION"/dist/Isabelle"$VERSION"_linux.tar.gz"
@@ -55,7 +55,7 @@ for url in $ISA_URL $AFP_URL/$AFP_TAR; do
   fi
 done
 
-docker build -t lh-docker-isabelle:isabelle$VERSION isabelle \
+docker build -t logicalhacking/lh-docker-isabelle:isabelle$VERSION isabelle \
              --build-arg uid=$DOCKERUID \
              --build-arg sessions=$SESSIONS \
              --build-arg isabelle=$ISA_URL \
diff --git a/isabelle/Dockerfile b/isabelle/Dockerfile
index 5cf0a5c..376c289 100644
--- a/isabelle/Dockerfile
+++ b/isabelle/Dockerfile
@@ -24,7 +24,7 @@
 #
 # SPDX-License-Identifier: BSD-2-Clause
 
-FROM lh-docker-isabelle:debian4isabelle
+FROM logicalhacking/lh-docker-isabelle:debian4isabelle
 
 ARG isabelle
 ARG afp