Fix array_t to follow the previous commit