diff --git a/src/ForwardAlgorithms/Verisig.jl b/src/ForwardAlgorithms/Verisig.jl
index 824414e..36d2d03 100644
--- a/src/ForwardAlgorithms/Verisig.jl
+++ b/src/ForwardAlgorithms/Verisig.jl
@@ -41,9 +41,6 @@ end
 
 function load_Verisig()
     return quote
-        using .ReachabilityAnalysis: TMJets, IVP, BlackBoxContinuousSystem, solve, evaluate,
-                                     TaylorModelN
-
         function _Verisig_default_algorithm()
             return TMJets(; abstol=1e-14, orderQ=2, orderT=6)
         end
diff --git a/src/ForwardAlgorithms/init_ReachabilityAnalysis.jl b/src/ForwardAlgorithms/init_ReachabilityAnalysis.jl
index 3058110..5da58e7 100644
--- a/src/ForwardAlgorithms/init_ReachabilityAnalysis.jl
+++ b/src/ForwardAlgorithms/init_ReachabilityAnalysis.jl
@@ -1,5 +1,6 @@
 # COV_EXCL_START
-using .ReachabilityAnalysis: @taylorize, TaylorIntegration, TaylorN, Taylor1
+using .ReachabilityAnalysis: @taylorize, TaylorIntegration, TaylorN, Taylor1, TaylorModelN,
+                             TMJets, IVP, BlackBoxContinuousSystem, solve, evaluate
 
 # Verisig helper functions (need to be defined in this separate file because of
 # the macro)