Fix String.split documentation example (found via testing!)