Fix Coverity issue #102019.