diff --git a/klee-examples/src/foo.rs b/klee-examples/src/foo.rs
index ecff76d42d430e39c87c2602ce67f34e9745f5d1..190c845c50e7e02d4df9b5490b839164abf3714e 100644
--- a/klee-examples/src/foo.rs
+++ b/klee-examples/src/foo.rs
@@ -1,33 +1,33 @@
 //! Showcase how individual fields can be made symbolic
-//! $ cargo klee --bin foo --release -r -k -g -v
+//! $ cargo klee --bin foo -r -k -g -v
 //! ...
 //! Reading symbols from register.replay...done.
 //!
 //! (gdb) set env KTEST_FILE=klee-last/test000001.ktest
-//! (gdb) run
+//! (gdb) run # for the generated test the program will run to end
 //! Starting program: /home/pln/rust/cargo-klee/klee-examples/target/debug/deps/foo.replay
 //! [Inferior 1 (process 25074) exited with code 01]
 //!
 //! (gdb) set env KTEST_FILE=klee-last/test000002.ktest
-//! (gdb) run
-//! Starting program: /home/pln/rust/cargo-klee/klee-examples/target/debug/deps/foo.replay
-//!
+//! (gdb) run # for the generated test the program will panic du to a division by zero, line 60
+//! Starting program: /home/pln/rust/cargo-klee/klee-examples/target/debug/deps/foo.replay 
+//! 
 //! Program received signal SIGILL, Illegal instruction.
-//! rust_begin_unwind (_info=0x7fffffffd6a8)
-//!     at /home/pln/.cargo/registry/src/github.com-1ecc6299db9ec823/panic-abort-0.3.1/src/lib.rs:31
+//! rust_begin_unwind (_info=0x7fffffffd9b8) at /home/pln/.cargo/registry/src/github.com-1ecc6299db9ec823/panic-abort-0.3.1/src/lib.rs:31
 //! 31          unsafe { intrinsics::abort() }
+//! 
 //! (gdb) backtrace
-//! #0  rust_begin_unwind (_info=0x7fffffffd6a8)
-//!     at /home/pln/.cargo/registry/src/github.com-1ecc6299db9ec823/panic-abort-0.3.1/src/lib.rs:31
-//! #1  0x000055555555530c in core::panicking::panic_fmt ()
-//!     at src/libcore/panicking.rs:85
+//! #0  rust_begin_unwind (_info=0x7fffffffd9b8) at /home/pln/.cargo/registry/src/github.com-1ecc6299db9ec823/panic-abort-0.3.1/src/lib.rs:31
+//! #1  0x000055555555530c in core::panicking::panic_fmt () at src/libcore/panicking.rs:85
 //! #2  0x000055555555538b in core::panicking::panic () at src/libcore/panicking.rs:49
 //! #3  0x0000555555555281 in foo::f2 (u=0) at src/foo.rs:60
 //! #4  0x0000555555555234 in main () at src/foo.rs:51
+//! 
 //! (gdb) frame 4
 //! #4  0x0000555555555234 in main () at src/foo.rs:51
-//! 46          let _ = f2(f1(u.a));
-//! (gdb) print u
+//! 51          let _ = f2(f1(u.a));
+//! 
+//! //! (gdb) print u
 //! $1 = foo::A {a: 255, b: 7}
 
 #![no_std]