Changed deprecated .push_char() to .push()