diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
index 75b6d8cd1..13ed66d60 100644
--- a/.devcontainer/Dockerfile
+++ b/.devcontainer/Dockerfile
@@ -28,7 +28,7 @@ RUN echo "export PATH=${PATH}" >> /home/${USERNAME}/.profile
 RUN curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh
 
 ARG GHC=9.4.6
-ARG CABAL=3.6.2
+ARG CABAL=3.8.1.0
 ARG STACK=2.9.3
 ARG HLS=recommended
 
diff --git a/README.md b/README.md
index ad9a41a8b..094d11308 100644
--- a/README.md
+++ b/README.md
@@ -82,10 +82,11 @@ DOCKER_BUILDKIT=1 docker image build -t gibbon -f .devcontainer/Dockerfile .
 Run the docker image using the following command. 
 
 ```
-docker run -t -i gibbon
+docker run --user=root -t -i gibbon
 ``` 
 
 Follow the previous instructions to build gibbon in the docker container. 
+There should be a gibbon directory in ~/ in the docker. 
 
 ## Using Gibbon