Fixes #8: remove bug in data file timestamping