Fix Coverity issue #102021.