Corrected uint64_t printing