is `get_terminal` right here?