Coverity fixes 20130819