replace one case of deserializeDataSet, see issue #10. This also
significantly improves the performance problem reported in issue #6.