Oops, accidentaly used uint64_t instead of Uint64 in two places