Why is copy() needed here?