corrected insidious bug having to do with Stream.split