Fix stupid bug in timestamp generator.