diff --git a/.travis.yml b/.travis.yml
index cc325206..34d0e3bf 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -6,6 +6,6 @@ services:
   - docker
 
 script:
-- docker run -v /home/travis/build/occlum/occlum:/root/occlum occlum/occlum:0.13.0-ubuntu18.04 /bin/bash -c 'cd /root/occlum;
+- docker run -v /home/travis/build/occlum/occlum:/root/occlum occlum/occlum:0.13.1-ubuntu18.04 /bin/bash -c 'cd /root/occlum;
                 info=$(make format-check); if [ -n "$info" ]; then echo "Format error detected."; exit 1; fi;
                 make submodule; SGX_MODE=SIM make; SGX_MODE=SIM make test'
diff --git a/README.md b/README.md
index b57cc85a..6a5149d4 100644
--- a/README.md
+++ b/README.md
@@ -175,7 +175,7 @@ Step 1-3 are to be done on the host OS (Linux):
 
 3. Run the Occlum Docker container, which has Occlum and its demos preinstalled:
     ```
-    docker run -it --device /dev/isgx occlum/occlum:0.13.0-ubuntu18.04
+    docker run -it --device /dev/isgx occlum/occlum:0.13.1-ubuntu18.04
     ```
 
 Step 4-5 are to be done on the guest OS running inside the Docker container:
diff --git a/src/libos/Cargo.lock b/src/libos/Cargo.lock
index e956665c..be5764fe 100644
--- a/src/libos/Cargo.lock
+++ b/src/libos/Cargo.lock
@@ -2,7 +2,7 @@
 # It is not intended for manual editing.
 [[package]]
 name = "Occlum"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "bitflags",
  "bitvec",
diff --git a/src/libos/Cargo.toml b/src/libos/Cargo.toml
index eb99413c..7d50d6e3 100644
--- a/src/libos/Cargo.toml
+++ b/src/libos/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "Occlum"
-version = "0.13.0"
+version = "0.13.1"
 edition = "2018"
 
 [lib]