diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index c1ae138..9b10cbd 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -1,6 +1,5 @@
 name: Build&Deploy Docker
 
-# Run workflow on tags starting with v (eg. v2, v1.2.0)
 on:
   # Triggers the workflow on push or pull request events but only for the master branch
   push:
@@ -17,13 +16,13 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout Code
-        uses: actions/checkout@v1
+        uses: actions/checkout@v2
       - name: Login to GitHub Container Registry
         uses: docker/login-action@v1
         with:
           registry: ghcr.io
           username: ${{ github.repository_owner }}
-          password: ${{ secrets.GITHUB_REGISTRY_TOKEN }}
+          password: ${{ secrets.GITHUB_TOKEN }}
       - name: Build and Push Docker Image
         uses: docker/build-push-action@v2
         with:
@@ -31,5 +30,4 @@ jobs:
           file: utils/container/Dockerfile
           push: true # Will only build if this is not here
           tags: |
-            ghcr.io/${{ github.repository }}:${{ github.ref }}
-            ghcr.io/${{ github.repository }}:latest
+            ghcr.io/spcl/pspin:latest
diff --git a/README.md b/README.md
index e2aa2e2..09f9a0b 100644
--- a/README.md
+++ b/README.md
@@ -27,8 +27,8 @@ PsPIN [1] is an implementation of the sPIN programming model [2] based on PULP [
     - `examples/*/handlers/`. Handlers code.
 
 ## Dependencies
- - Verilator > v4.100 (https://www.veripool.org/wiki/verilator)
- - RISC-V GCC toolchain (source: https://github.com/pulp-platform/pulp-riscv-gnu-toolchain; prebuilt: link here)
+ - Verilator >= v4.108 (https://www.veripool.org/wiki/verilator)
+ - RISC-V GCC toolchain (source: https://github.com/pulp-platform/pulp-riscv-gnu-toolchain; prebuilt: [Ubuntu-x86-64](http://spclstorage.inf.ethz.ch/~digirols/pspin/riscv-gcc-ubuntu.tar.gz))
 
 ## Getting started
 Here is a walkthrough to setup the simulation and run example handlers. 
@@ -100,7 +100,7 @@ PCIe Master:
 
 It reports information for each of the functional modules (i.e., NIC inbound and outbound engines, PCIe). 
 
-To gain more insights, you can type: `make info``` to produce information about the executed handlers:
+To gain more insights, you can type: `make info` to produce information about the executed handlers:
 ```
 #[key] handler cluster_id core_id start_time end_time latency instructions loads stores bsws branches l2_accesses local_l1_accesses remote_l1_accesses other_accesses
  pingpong_ph 00 0 1225000 1312000 87000 29 9 10 0 0 0 11 0 8