diff --git a/contrib/qprofdiff/maintainers.txt b/contrib/qprofdiff/maintainers.txt
new file mode 100644
index 000000000..01167f6d3
--- /dev/null
+++ b/contrib/qprofdiff/maintainers.txt
@@ -0,0 +1,3 @@
+# Maintainers
+
+- Christoph M. Wintersteiger (@wintersteiger, cwinter@microsoft.com)
diff --git a/src/ast/rewriter/arith_rewriter.cpp b/src/ast/rewriter/arith_rewriter.cpp
index 81385c2af..2b2087e3b 100644
--- a/src/ast/rewriter/arith_rewriter.cpp
+++ b/src/ast/rewriter/arith_rewriter.cpp
@@ -194,7 +194,7 @@ bool arith_rewriter::is_bound(expr * arg1, expr * arg2, op_kind kind, expr_ref &
         }
     }
     expr* t1, *t2;
-    bool is_int;
+    bool is_int = false;
     if (m_util.is_mod(arg2)) {
         std::swap(arg1, arg2);
         switch (kind) {