DataTypeHDF5: Remove unnecessary ';'