Re #10256. Fix compiler warning.