diff --git a/src/checksolution.jl b/src/checksolution.jl
index 6b2e7fd..d56b53f 100644
--- a/src/checksolution.jl
+++ b/src/checksolution.jl
@@ -1,9 +1,8 @@
-using ProgressMeter
 import Base: rationalize
 
 using ValidatedNumerics
-setrounding(Interval, :narrow)
-setdisplay(:standard)
+ValidatedNumerics.setrounding(Interval, :correct)
+ValidatedNumerics.setformat(:standard)
 
 function EOI{T<:Number}(Δ::GroupAlgebraElement{T}, κ::T)
     return Δ*Δ - κ*Δ