Correction about history in Datomic internals