Small hotfix to the release