diff --git a/examples/get_sign.rs b/examples/get_sign.rs
index 635d8cfe7d8b65e4ac18ed98b34d9a5dc29892d5..7028183536f6c3441fe9b4d626c587a0b11753ca 100644
--- a/examples/get_sign.rs
+++ b/examples/get_sign.rs
@@ -148,7 +148,7 @@ mod ll {
 //
 // > KTEST_FILE=klee-last/test000001.ktest gdb a.out
 //
-// (gdb) get_sign
+// (gdb) break get_sign
 // Breakpoint 1 at 0x1165: file examples/get_sign.rs, line 9.
 //
 // Now run the code in the debugger. What path was triggered.