Fix Coverity issue #101128.