Fix Coverity issue #100363.