Fix Coverity issue #102017.