Fix missing UINT32_MAX