diff --git a/bin/frama-c-script b/bin/frama-c-script
index f433562ea40be4f447635fc45befdbde300d4bad..a6be7954558452f567495c4f6f3ba056611e8962 100755
--- a/bin/frama-c-script
+++ b/bin/frama-c-script
@@ -38,7 +38,7 @@ usage() {
    echo "      and non-POSIX external libraries."
    echo "      (run 'frama-c -machdep help' to get the list of machdeps)."
    echo ""
-   echo "  - creduce file [args]"
+   echo "  - creduce [[file] args]"
    echo "      Use the external tool C-Reduce to minimize C files when"
    echo "      debugging crashes and fatal errors. Run without arguments for"
    echo "      more details."