clarify semantics of Array for #456