diff --git a/share/analysis-scripts/creduce.sh b/share/analysis-scripts/creduce.sh
index 71f45c0acdc87454f024461fd482ce5c79fdb928..d35a3fc6f4f23fafb192066cb8be8ae494eac4b9 100755
--- a/share/analysis-scripts/creduce.sh
+++ b/share/analysis-scripts/creduce.sh
@@ -43,7 +43,7 @@ This script creates a temporary directory named 'creducing'. It copies <file>
 inside it, then runs creduce with 'frama-c <command line options>'
 on the copied file, modifying it to make it smaller while still crashing.
 
-When done, you need to copy the reduced file and erase directoy 'creducing'.
+When done, you need to copy the reduced file and erase directory 'creducing'.
 
 # Script options
 
@@ -286,3 +286,4 @@ set -e
 "$CREDUCE" script_for_creduce.sh "$base"
 
 echo "Finished reducing file: $dir_for_reduction/$base"
+echo "Remember to remove 'script_for_creduce.sh' after you are done."
diff --git a/share/analysis-scripts/script_for_creduce_non_fatal.sh b/share/analysis-scripts/script_for_creduce_non_fatal.sh
index fab66d214b2b452c6d3c019a5c00e001398ff700..d886aeaba29099358e77597529d56ed6ff25dbad 100644
--- a/share/analysis-scripts/script_for_creduce_non_fatal.sh
+++ b/share/analysis-scripts/script_for_creduce_non_fatal.sh
@@ -28,8 +28,10 @@ set +o pipefail
 
 ##########
 
+set -o pipefail
 "@FRAMAC@" "@BASE@" @FCFLAGS@ 2>&1 | tee $fc_out
 fc_retcode=$(echo ${PIPESTATUS[0]})
+set +o pipefail
 
 ### Examples of conditions to be maintained by C-Reduce; copy and adapt
 #