diff --git a/examples/get_sign.c b/examples/get_sign.c
index 297ee47da1e4649fd464272f8a78cfa7a186ab0e..52e5f755cf04ca9b0085fcfae6a2122a9bb8c802 100644
--- a/examples/get_sign.c
+++ b/examples/get_sign.c
@@ -76,10 +76,10 @@ int main()
 // Depending on shell this might look different:
 //
 // Under `bash` (and `bash` like shells)
-// > export LD_LIBRARY_PATH=/usr/local/lib:$LD_LIBRARY_PATH
+// > export LD_LIBRARY_PATH=/usr/local/lib/:$LD_LIBRARY_PATH
 //
 // Under `fish`
-// > set -x LD_LIBRARY_PATH /usr/local/lib/
+// > set -x LD_LIBRARY_PATH /usr/local/lib/:$LD_LIBRARY_PATH
 //
 // > KTEST_FILE=klee-last/test000001.ktest ./a.out
 //