Fix Coverity issues #102018 and #102015.