diff --git a/scripts/release.yml b/scripts/release.yml
index d8224b262..fd5fddce8 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -69,6 +69,9 @@ jobs:
     inputs:
      artifactName: 'Ubuntu'
      targetPath: tmp
+  - task: CopyFiles@2
+     sourceFolder: $(Build.ArtifactStagingDirectory)
+     targetFilder: tmp
 # TBD: build NuGet package
 # TBD: this script should build a specific pre-specified tag
   - task: GitHubRelease@0
diff --git a/src/tactic/arith/purify_arith_tactic.cpp b/src/tactic/arith/purify_arith_tactic.cpp
index 611783077..0ef8adfbe 100644
--- a/src/tactic/arith/purify_arith_tactic.cpp
+++ b/src/tactic/arith/purify_arith_tactic.cpp
@@ -297,7 +297,7 @@ struct purify_arith_proc {
                           EQ(u().mk_mul(y, k), x)));
             push_cnstr_pr(result_pr);
             rational r;
-            if (complete() && (!u().is_numeral(y, r) || r.is_zero())) {
+            if (complete() && (!u().is_numeral(y, r) || !r.is_zero())) {
                 // y != 0 \/ k = div-0(x)
                 push_cnstr(OR(NOT(EQ(y, mk_real_zero())),
                               EQ(k, u().mk_div(x, mk_real_zero()))));