diff --git a/examples/get_sign.c b/examples/get_sign.c
index 0df0ef4fdb6b92af9544e1556c07c291d99c09e5..164cd2ab9a926e3913ea26622322307bde02fd5b 100644
--- a/examples/get_sign.c
+++ b/examples/get_sign.c
@@ -205,6 +205,7 @@ int main()
 // `klee_make_symbolic(&a, sizeof(a), "a");`
 // works when you replay test cases:
 //
-// [When test cases is replayed]
+// [The variable a is created with the constraints from the beginning.
+// The variable a is then changed to satisfy a path.]
 // (hint, KTEST_FILE points to a concrete assignment
 // of the memory region)