diff --git a/src/controller/execute.jl b/src/controller/execute.jl
index 6f4be31ac..7327de77d 100644
--- a/src/controller/execute.jl
+++ b/src/controller/execute.jl
@@ -213,7 +213,7 @@ end
 """
     addinfo!(info, mpc::PredictiveController) -> info
 
-By default, add the custom linear inrquality vector `W` and the solution summary `:sol` that
+By default, add the custom linear inequality vector `W` and the solution summary `:sol` that
 can be printed to `info`.
 """
 function addinfo!(info, mpc::PredictiveController{NT}) where NT<:Real
@@ -221,7 +221,7 @@ function addinfo!(info, mpc::PredictiveController{NT}) where NT<:Real
     W = Vector{NT}(undef, nW)
     W .= mul!(W, mpc.con.Ẽw, mpc.Z̃) .+ mpc.con.Fw
     info[:W] = W
-    info[:sol] = JuMP.solution_summary(mpc.optim, verbose=true)
+    info[:sol] = JuMP.solution_summary(mpc.optim) # verbose: redundant information
     return info
 end
 
diff --git a/src/controller/nonlinmpc.jl b/src/controller/nonlinmpc.jl
index a9daa87fe..0b76a221a 100644
--- a/src/controller/nonlinmpc.jl
+++ b/src/controller/nonlinmpc.jl
@@ -587,7 +587,7 @@ function addinfo!(info, mpc::NonLinMPC{NT}) where NT<:Real
     mpc.con.gc!(gc_opt, Ue, Ŷe, D̂e, mpc.p, ϵ)
     info[:JE]  = JE_opt
     info[:gc] = gc_opt
-    info[:sol] = JuMP.solution_summary(mpc.optim, verbose=true)
+    info[:sol] = JuMP.solution_summary(mpc.optim) # verbose: redundant information
     # --- objective derivatives ---
     model, optim, con = mpc.estim.model, mpc.optim, mpc.con
     hess = mpc.hessian
diff --git a/src/estimator/mhe/execute.jl b/src/estimator/mhe/execute.jl
index c8e013802..1b9e31f91 100644
--- a/src/estimator/mhe/execute.jl
+++ b/src/estimator/mhe/execute.jl
@@ -191,7 +191,7 @@ function getinfo(estim::MovingHorizonEstimator{NT}) where NT<:Real
     info[:Ym] = Ym
     info[:U]  = U 
     info[:D]  = D
-    info[:sol] = JuMP.solution_summary(estim.optim, verbose=true)
+    info[:sol] = JuMP.solution_summary(estim.optim) # verbose: redundant information
     # --- non-Unicode fields ---
     info[:What] = info[:Ŵ]
     info[:xhatarr] = info[:x̂arr]
diff --git a/src/model/nonlinmodeldae.jl b/src/model/nonlinmodeldae.jl
index f8f2a7db4..b2aca834f 100644
--- a/src/model/nonlinmodeldae.jl
+++ b/src/model/nonlinmodeldae.jl
@@ -934,7 +934,7 @@ function getinfo(model::NonLinModelDAE{NT}) where NT<:Real
     info[:u] = u
     info[:d] = d
     if JuMP.termination_status(model.optim_state) ≠ JuMP.OPTIMIZE_NOT_CALLED
-        info[:sol_state]  = JuMP.solution_summary(model.optim_state,  verbose=true)
+        info[:sol_state]  = JuMP.solution_summary(model.optim_state, verbose=true)
     end
     if JuMP.termination_status(model.optim_output) ≠ JuMP.OPTIMIZE_NOT_CALLED
         info[:sol_output] = JuMP.solution_summary(model.optim_output, verbose=true)