fix some uint32_t