Update flexarray.h