again, another small change to split()