Coverity fixes