fix minor bug in release script