fix uint32 types