update converter for Double[].  fixes #457