Correct uint32_t and uint64_t types eliminates a build warning.