Fix a comment, txn IDs are 64-bit now.