hdf5.py: bugfix