Re #8710 Solve warning.