Fix Coverity issue #100347.