toScalaVector... better naming suggested by David