Fix Coverity issue #101989.