Fix Coverity issue #101986.