Fix PR8565.