diff -r 28dfc4fc15e9 -r 774837ae23ae scripts/addToolVersion.sh
--- a/scripts/addToolVersion.sh	Sun Sep 13 18:44:17 2009 +0200
+++ b/scripts/addToolVersion.sh	Sat Sep 26 12:45:07 2009 +0200
@@ -104,7 +104,7 @@
         fi
     fi
     SedExpr2="    default \"${version}\" if ${cat}_V_${v}"
-    "${sed}" -r -i -e 's/^(# CT_INSERT_VERSION_BELOW)$/\1\n'"${SedExpr1}"'/;' "${file}"
+    "${sed}" -r -i -e 's/^(# CT_INSERT_VERSION_BELOW)$/\1\n\n'"${SedExpr1}"'/;' "${file}"
     "${sed}" -r -i -e 's/^(# CT_INSERT_VERSION_STRING_BELOW)$/\1\n'"${SedExpr2}"'/;' "${file}"
 }