Fix Coverity issue #101137.