Minor change in the implementation of Array