diff --git a/p4app/bug2-cast-in-checksum b/p4app/bug2-cast-in-checksum.json
similarity index 100%
rename from p4app/bug2-cast-in-checksum
rename to p4app/bug2-cast-in-checksum.json
diff --git a/p4debug/bug1-bool/README b/p4debug/bug1-bool/README
index 89052f2..502fee6 100644
--- a/p4debug/bug1-bool/README
+++ b/p4debug/bug1-bool/README
@@ -1,3 +1,9 @@
+How to reproduce:
+
+cd master-thesis/p4app
+sudo p4run --config bug1-bool.json
+
+
 Result:
 
 p4@ubuntu:~/master-thesis/p4app$ sudo p4run --config bug1-bool.json
diff --git a/p4debug/bug2-cast-in-checksum/README b/p4debug/bug2-cast-in-checksum/README
index 65c86eb..0e4b16b 100644
--- a/p4debug/bug2-cast-in-checksum/README
+++ b/p4debug/bug2-cast-in-checksum/README
@@ -1,3 +1,8 @@
+How to reproduce:
+
+cd master-thesis/p4app
+sudo p4run --config bug2-cast-in-checksum.json
+
 Result:
 
 ...