More work on Coverity