diff --git a/scripts/release.yml b/scripts/release.yml
index 53f0b95dd..31c6f8226 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -174,7 +174,7 @@ stages:
     - task: DownloadPipelineArtifact@2
       displayName: 'Download Ubuntu Build'
       inputs:
-        artifact: 'Ubuntu'
+        artifact: 'UbuntuBuild'
         path: $(Agent.TempDirectory)\package
     - task: DownloadPipelineArtifact@2
       displayName: 'Download macOS Build'
diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py
index b58ac28be..5e177ef08 100644
--- a/src/api/python/z3/z3.py
+++ b/src/api/python/z3/z3.py
@@ -11387,7 +11387,7 @@ class UserPropagateBase:
         _ids, num_fixed = _to_ast_array(ids)
         num_eqs = len(eqs)
         _lhs, _num_lhs = _to_ast_array([x for x, y in eqs])
-        _rhs, _num_lhs = _to_ast_array([y for x, y in eqs])
+        _rhs, _num_rhs = _to_ast_array([y for x, y in eqs])
         Z3_solver_propagate_consequence(e.ctx.ref(), ctypes.c_void_p(
             self.cb), num_fixed, _ids, num_eqs, _lhs, _rhs, e.ast)