Fix an incorrect result of cut-and-paste.