Re #10462. Compiler warning fix.