Fixes format Type

The Printf format type was unsigned long, but the variable is uint64_t