again: split() accepts a regex