fix small buglet in release.sh