Replaced deprecated String.from_char_list!