Update for String::push_char rename