fixed a bug in array.h