fix DoubleVector to Wolfram convert