diff --git a/dev/build-release.sh b/dev/build-release.sh
index 86269c81054bad0b515feabf20d58cccce1340d9..7aad889e2cba7fa9ecb4f6ffa46581a9aa168ae8 100755
--- a/dev/build-release.sh
+++ b/dev/build-release.sh
@@ -356,7 +356,7 @@ cat >$JSON_DATA <<EOL
     ]
   },
 EOL
-echo "  \"description\": \"# Main changes since $PREVIOUS $PREVIOUS_NAME\n$(cat "$CHANGES" | sed -z 's/\\/\\\\/g' | sed -z 's/\n/\\n/g' | sed -z 's/\(\#.*\)/#\1/')\"" >> $JSON_DATA
+echo "  \"description\": \"# Main changes since $PREVIOUS $PREVIOUS_NAME\n$(jq <"$CHANGES" --raw-input 'sub("^#";"##")' | jq --slurp 'join("\n")' | sed 's/^.//;s/.$//')" >> $JSON_DATA
 echo "}" >> $JSON_DATA
 
 echo "Release data file built"
diff --git a/nix/frama-c-checkers-shell.nix b/nix/frama-c-checkers-shell.nix
index c552a3c4e64adb91f260ef2b2831a77bbf3a86d6..6bd68e73379d6ec70d3e84673e61e84574d16a86 100644
--- a/nix/frama-c-checkers-shell.nix
+++ b/nix/frama-c-checkers-shell.nix
@@ -8,6 +8,7 @@
 , git-lfs
 , gnumake
 , headache
+, jq
 , ocp-indent
 } :
 stdenv.mkDerivation rec {
@@ -21,6 +22,7 @@ stdenv.mkDerivation rec {
     git-lfs
     gnumake
     headache
+    jq
     ocp-indent
   ];
 }