Indeed, copy-paste does this to us.