Fix size of uint32