diff --git a/isabelle/Dockerfile b/isabelle/Dockerfile
index 5af78f9..3772778 100644
--- a/isabelle/Dockerfile
+++ b/isabelle/Dockerfile
@@ -37,7 +37,7 @@ LABEL isabelle.sessions="$sessions"
 
 
 # Create default user (isabelle)
-RUN useradd -u $uid -m isabelle && (echo isabelle:isabelle | chpasswd)
+RUN useradd -o -u $uid -m isabelle && (echo isabelle:isabelle | chpasswd)
 USER isabelle
 
 # Install Isabelle and corresponding AFP