diff -r 7d4aa41b748e -r 6764a249118a progs/README
--- a/progs/README	Wed Oct 05 08:50:44 2016 +0100
+++ b/progs/README	Fri Oct 07 12:29:30 2016 +0100
@@ -33,8 +33,8 @@
 
 needs to be called using
 
-  ./C1 `args1-good`
-  ./C1 `args1-bad`
+  ./C1 `./args1-good`
+  ./C1 `./args1-bad`
 
 or in gdb using