Fix Coverity issue #102020.