fix space-delimited vectors in ex().