diff --git a/src/ast/rewriter/fpa_rewriter.cpp b/src/ast/rewriter/fpa_rewriter.cpp
index ce14349b2..e62c9346f 100644
--- a/src/ast/rewriter/fpa_rewriter.cpp
+++ b/src/ast/rewriter/fpa_rewriter.cpp
@@ -119,7 +119,6 @@ br_status fpa_rewriter::mk_to_fp(func_decl * f, unsigned num_args, expr * const
             // BV -> float
             SASSERT(bvs1 == sbits + ebits);
             unsynch_mpz_manager & mpzm = m_fm.mpz_manager();
-            unsynch_mpq_manager & mpqm = m_fm.mpq_manager();
             scoped_mpz sig(mpzm), exp(mpzm);
 
             const mpz & sm1 = m_fm.m_powers2(sbits - 1);
diff --git a/src/util/container_util.h b/src/util/container_util.h
index f921b7b1d..e114c87b9 100644
--- a/src/util/container_util.h
+++ b/src/util/container_util.h
@@ -19,7 +19,7 @@ Revision History:
 
 --*/
 
-#ifndef CONTAINUR_UTIL_H_
+#ifndef CONTAINER_UTIL_H_
 #define CONTAINER_UTIL_H_
 
 // -----------------------------------