diff --git a/Test/VeriFast/tasks/vTaskSwitchContext/preprocessing_scripts/vf_rewrite.sh b/Test/VeriFast/tasks/vTaskSwitchContext/preprocessing_scripts/vf_rewrite.sh
index 5c6191f6f..2898a8312 100755
--- a/Test/VeriFast/tasks/vTaskSwitchContext/preprocessing_scripts/vf_rewrite.sh
+++ b/Test/VeriFast/tasks/vTaskSwitchContext/preprocessing_scripts/vf_rewrite.sh
@@ -24,8 +24,9 @@ rewrite()
 {
   FIND_REGEX=$1
   REPLACE_REGEX=$2
-  echo "\tRewrite pattern: \"$FIND_REGEX\" -> \"$REPLACE_REGEX\""
+  echo "Rewrite pattern: \"$FIND_REGEX\" -> \"$REPLACE_REGEX\""
   sed -i "" "s|$FIND_REGEX|$REPLACE_REGEX|g" $SOURCE_FILE
+  echo
 }