use push_str() instead of + for concatenating strings.