bugfix in split()