Use proper format specifier for uint32_t.