Fixed. Indeed, that copy is not needed.