Add names.pop on terminal.pop