Fix Coverity issue #101994.