Fix version progression in hotfix