Update in two header files (*array.h)