diff --git a/examples/get_sign.c b/examples/get_sign.c
index 738d9652a753521e1462537de97f83f0e533be82..fe895bf475066983be7f095b178e6507f928ffe7 100644
--- a/examples/get_sign.c
+++ b/examples/get_sign.c
@@ -51,7 +51,7 @@ int main()
 // What path in the code does this test represent?
 //
 // [your answer here]
-// > ktest-tool klee-last/test000002.ktest
+// > ktest-tool klee-last/test000003.ktest
 //
 // What path in the code does this test represent?
 //