Fix Coverity issue #100346.