Fix copy&paste in terminals.