diff --git a/bin/frama-c-script b/bin/frama-c-script
index cb9251f5aaed847e6abdbb0cd75d50a01b1148ba..f92e7107be43788c76b09d094086667b22f065cf 100755
--- a/bin/frama-c-script
+++ b/bin/frama-c-script
@@ -22,7 +22,7 @@
 ##########################################################################
 
 usage() {
-   echo "usage: $0 cmd [args]"
+   echo "usage: frama-c-script cmd [args]"
    echo ""
    echo "  where cmd is:"
    echo ""
@@ -89,7 +89,7 @@ usage() {
    echo ""
    echo "  - make-machdep [--compiler=<cc>] [--cpp-arch-flags=<flags>]"
    echo "      Creates a new machdep definition for a specific target."
-   echo "      Use $0 make-machdep --help for more information"
+   echo "      Use frama-c-script make-machdep --help for more information"
    echo ""
    echo "  - make-wrapper [target] [arg...]"
    echo "      Runs 'make target arg...', parsing the output to suggest"
@@ -103,7 +103,7 @@ usage() {
    echo "  - summary [options]"
    echo "      Monitors and summarizes multiple analyses dispatched by a Makefile"
    echo "      in the current PWD."
-   echo "      Use $0 summary --help for more information."
+   echo "      Use frama-c-script summary --help for more information."
    exit "$1"
 }