diff --git a/examples/get_sign.rs b/examples/get_sign.rs
index 64cc72998f7073ccc5660ef8e675b74ee0961ed0..aa6be431a781f9e4e917d3d6c03b9c186b969fa9 100644
--- a/examples/get_sign.rs
+++ b/examples/get_sign.rs
@@ -121,7 +121,7 @@ The has was:
 //
 // [your answer here]
 /*
-$ ktest-tool target/debug/examples/klee-last/test000001.ktest
+$ ktest-tool target/debug/examples/klee-last/test00000{1,2,3}.ktest
 */
 //
 // C) Replaying your test cases.