Fixing a couple of things in the release script