1 files changed, 2 insertions, 1 deletions
diff --git a/shell/update.sh b/shell/update.sh
index 4b6f63ae..61374d35 100755
--- a/shell/update.sh
+++ b/shell/update.sh
@@ -9,11 +9,12 @@ dir=${0%"${0##*/}"}
 update() {
   {
     sed -n '1,/^#----BEGIN INCLUDE common\.sh/p' "$1"
-    cat <<EOF
+    cat << EOF
 # NOTE: Do not directly edit this section, which is copied from "common.sh".
 # To modify it, one can edit "common.sh" and run "./update.sh" to apply
 # the changes. See code comments in "common.sh" for the implementation details.
 EOF
+    echo
     grep -v '^[[:blank:]]*#' "$dir/common.sh" # remove code comments in common.sh
     sed -n '/^#----END INCLUDE/,$p' "$1"
   } > "$1.part"