Don't use uint32_t in one odd place.