Fix the definition of copy'' for the sum case.