Minor bug fix in read_arrayinfo