A defensive copy is not needed here