As it's just a single character we might as well just use push_back instead of append()