Coverity stuff.