Re #9866. Fix a cppcheck warning.