Fix Coverity issue #101138.