diff --git a/README.md b/README.md
index 521b0de0419f8348be8bc8f1e7ef7eced77827fa..8beb3c0a4959ef832fb48b6b983ee447fb9493b7 100644
--- a/README.md
+++ b/README.md
@@ -9,6 +9,25 @@ cd ~/workspace
 git clone https://gitlab.henriktjader.com/d7020e/d7020e_srp.git
 ```
 
+The code for KLEE-analysis is aquired by running:
+
+```
+git checkout klee
+```
+
+## Command Line setup
+
+Shorthand for running with KLEE-analysis is
+
+```
+make bench
+```
+
+Please inspect the Makefile if you are curious how this is done.
+
+
+## Eclipse setup
+
 Start eclipse through the window manager
 
 Import project to eclipse, 
diff --git a/profiling_db_parser.py b/profiling_db_parser.py
index ee91f1b5ed9829ed271272272930852edb82da7d..af66036a9d77b572c8a4ad242646233449812913 100644
--- a/profiling_db_parser.py
+++ b/profiling_db_parser.py
@@ -148,7 +148,7 @@ def print_db_ktest():
         c.execute('SELECT DISTINCT job FROM events WHERE (file=?)',
                   (filename,))
         job = c.fetchall()
-        print("Job: j%s" % job)
+        print("Job: %s" % job[0])
 
         """ Go through the unique list of resources