Avoid Javascript's unusual split method.