Fix wrong format designator for uint64_t