I think you don't need copy() here.