Fix Coverity issue #100358.