bug fix in split_string