diff --git a/bin/zafl.sh b/bin/zafl.sh
index a9ecff61fba5a3a76be645343a21a740be59d012..dba0e9b4e602da0fea427470bb853c9a8f56539c 100755
--- a/bin/zafl.sh
+++ b/bin/zafl.sh
@@ -61,7 +61,6 @@ trace_opt=""
 zipr_opt=""
 random_seed=""
 laf_opt=""
-laf_step=""
 
 
 me=$(whoami)
@@ -378,7 +377,7 @@ log_msg "Transforming input binary $input_binary into $output_zafl_binary"
 optional_step=""
 if [ ! -z "$laf_opt" ];
 then
-	optional_step=" -s laf=on $laf_opt "
+	optional_step=" -c laf=on $laf_opt "
 fi
 
 zax_opt=" $zax_opt $float_opt "