diff --git a/Docker/Dockerfile b/Docker/Dockerfile
index a46d47d..8d11f12 100644
--- a/Docker/Dockerfile
+++ b/Docker/Dockerfile
@@ -39,17 +39,3 @@ RUN opam install -y deriving.0.7 ocamlfind.1.5.5 parmap.1.0-rc6 batteries.2.3.1
 RUN git clone https://github.com/s3team/uroboros.git /root/uroboros
 WORKDIR "/root/uroboros/src"
 RUN eval $(opam env) && ./build
-
-# build spec cpu 2006
-# ENV SPECIMG=/data/SPEC_CPU2006v1.1.iso
-# ENV SRCDIR=/data/spec_src
-# ENV BINDIR=/data/spec_bin
-# ENV REBUILD_SPEC=
-
-# ADD ./tool/spec_cpu_on_ubuntu/script /script
-# ADD ./tool/spec_cpu_on_ubuntu/patch /patch
-# ADD ./tool/build_spec.sh /script/build_spec.sh
-# ADD ./tool/config.cfg /script/config.cfg
-
-# CMD /script/build_spec.sh && \
-#     bash
diff --git a/Docker/README.md b/Docker/README.md
index a044f0f..fac93de 100644
--- a/Docker/README.md
+++ b/Docker/README.md
@@ -1,4 +1,4 @@
-# Docker for uroboros v 0.12
+# Docker for Uroboros version 0.2
 
 ## Docker build
 
@@ -6,7 +6,7 @@
 Then use `docker build` to build the docker image from Dockerfile.
 
 ```shell
-docker build -f Dockerfile -t ail:0.12 .
+docker build -f Dockerfile -t uroboros:0.2 .
 ```
 
 ## Docker usage
@@ -14,5 +14,5 @@ docker build -f Dockerfile -t ail:0.12 .
 run the Docker container with `docker run`.
 
 ```shell
-docker run -it ail:0.12
+docker run -it uroboros:0.2
 ```
diff --git a/README.md b/README.md
index 45dba13..3caabe0 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-# Uroboros: Infrastructure for Reassembleable Disassembling and Transformation (v 0.12)
+# Uroboros: Infrastructure for Reassembleable Disassembling and Transformation (Version 0.2)
 
 # Installation
 
diff --git a/instruction_to_reproduce_experimenttal_results_reported_in_Wang_et_al._2015.md b/instruction_to_reproduce_experimenttal_results_reported_in_Wang_et_al._2015.md
index 0fdfcce..d8fb789 100644
--- a/instruction_to_reproduce_experimenttal_results_reported_in_Wang_et_al._2015.md
+++ b/instruction_to_reproduce_experimenttal_results_reported_in_Wang_et_al._2015.md
@@ -1,4 +1,4 @@
-Please use Uroboros (version 0.12) for the tests below. 
+Please use Uroboros (version 0.2) for the tests below. 
 
 # Coreutils:
 
diff --git a/src/uroboros.py b/src/uroboros.py
index 8f80954..62927f3 100644
--- a/src/uroboros.py
+++ b/src/uroboros.py
@@ -209,7 +209,7 @@ def set_assumption (l):
 if __name__ == "__main__":
     p = ArgumentParser(formatter_class=RawTextHelpFormatter)
     p.add_argument("binary",
-                   help="path to the input binary, for example, /home/szw175/ls")
+                   help="path to the input binary")
     p.add_argument("-i", "--iteration", type=int,
                    help="the number of disassemble-(instrument)-reassemble iterations")
     p.add_argument("-k", "--keep", action="count",
@@ -220,7 +220,7 @@ def set_assumption (l):
 (n-byte alignment) are set by default,
 while assumption two and three need to be configured. For example, setting
 assumption two and three: -a 2 -a 3''')
-    p.add_argument('--version', action='version', version='Uroboros pre-release\n\nWritten by Shuai Wang (szw175@ist.psu.edu)')
+    p.add_argument('--version', action='version', version='Uroboros Version 0.2\n\nWritten by Shuai Wang (shuaiw@cse.ust.hk), Jinquan Zhang (jxz372@psu.edu)')
 
     args = p.parse_args()
     b = args.binary