TypeError intersecting source invariant in hybrid solve

[mforets]

using ReachabilityModels, Plots

prob = fetch_model("bouncing_ball")
opts = fetch_meta("bouncing_ball")["opts"]

Dict{Symbol,Any} with 5 entries:
  :T                          => 3.0
  :alg                        => GLGM06{Float64,Forward{Val{:base},Val{:lazy},V…
  :clustering_method          => ZonotopeClustering{Missing}(missing)
  :intersect_source_invariant => true
  :intersection_method        => TemplateHullIntersection{Float64,SingleEntryVe…

sol = solve(prob; opts...);

TypeError: in typeassert, expected ReachSet{Float64,Union{HPolytope{Float64,LazySets.Arrays.SingleEntryVector{Float64}}, HPolytope{Float64,Array{Float64,1}}}}, got a value of type ReachSet{Float64,HPolytope{Float64,Array{Float64,1}}}

Stacktrace:
 [1] setindex!(::Array{ReachSet{Float64,Union{HPolytope{Float64,LazySets.Arrays.SingleEntryVector{Float64}}, HPolytope{Float64,Array{Float64,1}}}},1}, ::ReachSet{Float64,HPolytope{Float64,Array{Float64,1}}}, ::Int64) at ./array.jl:849
 [2] push!(::Array{ReachSet{Float64,Union{HPolytope{Float64,LazySets.Arrays.SingleEntryVector{Float64}}, HPolytope{Float64,Array{Float64,1}}}},1}, ::ReachSet{Float64,HPolytope{Float64,Array{Float64,1}}}) at ./array.jl:938
 [3] push!(::Flowpipe{Float64,ReachSet{Float64,Union{HPolytope{Float64,LazySets.Arrays.SingleEntryVector{Float64}}, HPolytope{Float64,Array{Float64,1}}}},Array{ReachSet{Float64,Union{HPolytope{Float64,LazySets.Arrays.SingleEntryVector{Float64}}, HPolytope{Float64,Array{Float64,1}}}},1}}, ::ReachSet{Float64,HPolytope{Float64,Array{Float64,1}}}) at /home/mforets/.julia/dev/ReachabilityAnalysis/src/Flowpipes/flowpipes.jl:279
 [4] solve(::InitialValueProblem{HybridSystem{LightAutomaton{LightGraphs.SimpleGraphs.SimpleDiGraph{Int64},LightGraphs.SimpleGraphs.SimpleEdge{Int64}},ConstrainedAffineContinuousSystem{Float64,Array{Float64,2},Array{Float64,1},HalfSpace{Float64,Array{Float64,1}}},ConstrainedLinearMap{Float64,Array{Float64,2},HPolyhedron{Float64,Array{Float64,1}}},AutonomousSwitching,Array{ConstrainedAffineContinuousSystem{Float64,Array{Float64,2},Array{Float64,1},HalfSpace{Float64,Array{Float64,1}}},1},Array{ConstrainedLinearMap{Float64,Array{Float64,2},HPolyhedron{Float64,Array{Float64,1}}},1},Array{AutonomousSwitching,1}},Hyperrectangle{Float64,Array{Float64,1},Array{Float64,1}}}; max_jumps::Int64, intersection_method::TemplateHullIntersection{Float64,LazySets.Arrays.SingleEntryVector{Float64},BoxDirections{Float64,LazySets.Arrays.SingleEntryVector{Float64}}}, clustering_method::ZonotopeClustering{Missing}, check_invariant_initial_states::Bool, intersect_invariant_initial_states::Bool, intersection_source_invariant_method::FallbackIntersection, first_mode_representative::Bool, intersect_source_invariant::Bool, disjointness_method::NoEnclosure, fixpoint_check::Bool, kwargs::Base.Iterators.Pairs{Symbol,Any,Tuple{Symbol,Symbol},NamedTuple{(:T, :alg),Tuple{Float64,GLGM06{Float64,Forward{Val{:base},Val{:lazy},Val{:concrete}},Val{false},Missing,Missing,Val{true},ReachabilityAnalysis.GIR05,NoEnclosure}}}}) at /home/mforets/.julia/dev/ReachabilityAnalysis/src/Hybrid/solve.jl:102
 [5] top-level scope at In[19]:1
 [6] include_string(::Function, ::Module, ::String, ::String) at ./loading.jl:1091