Bug fix in ArrayDump