Fix a couple of minor issues with the release process