Tiny fix for overzealous array copying