diff --git a/examples/get_sign.c b/examples/get_sign.c
index 96c921d54085037dfe10a36506a0d47cd553eb86..738d9652a753521e1462537de97f83f0e533be82 100644
--- a/examples/get_sign.c
+++ b/examples/get_sign.c
@@ -26,6 +26,10 @@ int main()
 // A) Compiling into LLVM bitcode
 // > clang -emit-llvm -c get_sign.c
 //
+// Now you can run Klee on your generated bitcode.
+//
+// > klee get_sign.bc
+//
 // [your answer here]
 //
 // B) Inspecting the output