Array.from_hdf5: fixed bugs in name parsing