diff --git a/src/OVERTVerify.jl b/src/OVERTVerify.jl
index 1caa518..ca76a0f 100644
--- a/src/OVERTVerify.jl
+++ b/src/OVERTVerify.jl
@@ -3,6 +3,7 @@ module OVERTVerify
 include("dependencies.jl")
 
 export OvertQuery,
+
     SinglePendulum,
     ACC,
     SimpleCar,
diff --git a/src/overt_to_mip.jl b/src/overt_to_mip.jl
index fc4652d..03dd13a 100644
--- a/src/overt_to_mip.jl
+++ b/src/overt_to_mip.jl
@@ -48,7 +48,7 @@ end
 function OvertMIP(overt_app::OverApproximation; threads=0, model=DEFAULT_MODEL)
     if model == "glpk" || model == "GLPK"
         model = Model(GLPK.Optimizer)
-        set_optimizer_attribute(model, "msg_lev", GLPK.MSG_OFF)                         
+        set_optimizer_attribute(model, "msg_lev", GLPK.GLP_MSG_OFF)                         
     elseif model == "gurobi" || model == "Gurobi"
         println("Calling OvertMIP constructor with Gurobi.")
         model = gurobi_model(threads) # if Gurobi hasn't been loaded this will fail