Fix Coverity issue #100352.