Fix Coverity issue #100339.