Fixes to Coverity erros 75748 and 76132.