terminal_copy doesn't return void anymore.