Coverity tweak