correcting use of uint32_t where uint64_t should be used