Sadly, `toVector` is not available in 2.9.3. Could you please use the `Vector` constructor instead?