Fix Coverity issue #101136.