Update for Coverity