diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 3b1dd0c0a..e4330a762 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -72,7 +72,7 @@ jobs:
         export LD_LIBRARY_PATH=$(pwd):${LD_LIBRARY_PATH}
         java -cp .:examples/java:com.microsoft.z3.jar JavaExample
         cd ..
-    - script |
+    - script: |
          cd build
          ./test-z3 -a
          cd ..
diff --git a/src/util/prime_generator.cpp b/src/util/prime_generator.cpp
index 58647fd83..d0b2cf6cf 100644
--- a/src/util/prime_generator.cpp
+++ b/src/util/prime_generator.cpp
@@ -129,4 +129,5 @@ uint64_t prime_iterator::next() {
 
 void prime_iterator::finalize() {
     g_prime_generator.finalize();
+    dealloc(g_prime_generator.m_mux);
 }