Fix Coverity issue #101127.