Bugfix for the release script