Could you use the `.push_str` method here?