Fix a wrong release name